H9I 



IHSHB 



BR* 






MMHb 

i SSkHB 

H85 HSR. Bis 



■ 







k'- 



























-u 

























































i 






























> 


















% 






'* 



\*+ 









"^ & 


















•% 









o> -U 






:- 
























DIFFERENTIAL 



AND 



Integral Calculus 

ON THE BASIS OF CONTINUOUS QUANTITY AND 
CONSECUTIVE DIFFERENCES, 



DESIGNED FOR 



ELEMENTARY INSTRUCTION, 



BY 

CHAKLES DAYIES, LL.D., 

EMERITUS PROFESSOR OP HIGHER MATHEMATICS IN COLUMBIA COLLEGE. 



w% 



A. S. BARNES & CO., PUBLISHERS, 
New York and Chicago. A 
1873. 



DAVIES' MATHEMATICS. 



IN THREE PARTS. 



I-OOMMON SCHOOL COUESE. 

Davies' Primary Arithmetic— The fundamental principles displayed in 
Object Lessons. 

Davies' Intellectual Arithmetic.— Referring all operations to the 
unit 1 as the only tangible basis for logical development. 

Davies' Elements of Written Arithmetic. — A practical introduction 
to the whole subject. Theory subordinated to Practice. 

Davies 9 Practical Arithmetic— The combination of Theory and Practice, 

intended to be clear, exact, brief, and comprehensive. 

II.-A0ADEMI0 COUESE. 

Davies' University Arithmetic— Treating the subject exhaustively as 
a science, in a logical series of counected propositions. 

Davies' "Elementary Algebra,— A connecting link, conducting the pupil 

easily from arithmetical processes to abstract analysis. 

Davies' University Algebra.— For institutions desiring a more complete 
but not the fullest course in pure Algebra. 

Davies' Practical Mathematics.— The science practically applied to the 
useful arts, as Drawing, Architecture, Surveying, Mechanics, etc. 

Davies' Elementary Geometry.— The important principles in simple 
form, but with all the exactness of rigorous reasoning. 

Davies' Elements of Surveying.— Re-written in 1870. A simple and 
practical presentation of the subject lor the scholar and surveyor. 

HI-COLLEGIATE COUESE. 

Davies' Bourdon's Algebra.— Embracing Sturm's Theorem, and a most 

exhaustive and scholarly course. 

Davies' University Algebra.— A shorter course than Bourdon, for Insti- 
tutions having less time to give the subject. 

Davies' Legendre's Geometry.— The original is the best Geometry of 
Europe. The revised edition is well known. 

Davies' Analytical Geometry. — Being a full course, embracing the 
equation of surfaces of the second degree. 

Davies' Differential and Integral Calculus.— Constructed on the 
basis of Continuous Quantity and Consecutive Differences. 

Davies' Analytical Geometry and Calculus.— The shorter treatises, 
combined in one volume, as more available for American courses of study. 

Davies' Descriptive Geometry.— With application to Spherical Trigo- 
nometry, Spherical Piojections, and Warped Surfaces. 

Davies' Shades, Shadows, and Perspective.— A succinct exposition 
of the mathematical principles involved. 

Davies & Peck's Mathematical Dictionary.— Embracing the defini- 
tions of all the terms, and also a Cyclopedia of Mathematics. 

Davies 9 Nature and Utility of Mathematics.— Embracing a con- 
densed Logical Analysis of the entire Science, and of its General Uses. 



Entered according to Act of Congress, in the year Eighteen Hundred and Seventy-three, by 

CHARLES DAVIES, 

In the Office of the Librarian of Congress, at Washington. 



PEEFAOE. 



The Differential and Integral Calculus is too important a 
branch of Mathematics to be omitted in a course of col- 
legiate instruction. 

In the elementary branches, the abstract quantities, 
Number and Space, are presented to the mind as of defi- 
nite extent, and as made up of parts. 

The value, or measure, in any given case, is expressed by 
the number of times which the quantity contains one of 
its parts, regarded as a standard, or unit of measure. But 
Ave do not attain to a full and clear apprehension of their 
quantitative nature, until we subject them to the law of 
continuity, and trace their changes, under this law, as 
they pass from one state of value to another 

The Differential and Integral Calculus embraces all the 
processes necessary to such an analysis. It regards quan- 
tity as the result of change. It examines established 
laws of change, and determines their consequences. It 
supposes laws of change, and traces the results of the 
hypothesis. In short, it embraces within its grasp — in the 
Material, everything from the minutest atom to the largest 
body — in Space, all that can be measured, from the geo- 
metrical point to absolute infinity — in Time, the entire 
range of duration — and in Motion, every change from 
absolute rest to infinite velocity. 



IV PREFACE. 

The substance of the present volume was published in 
the year eighteen hundred and sixty. For the want of 
a proper introduction, its marked characteristics seem not 
to have attracted public attention. That introduction is 
now supplied. 

The entire system is based on four principles: 

1st. Continuous quantity, which is defined; 

2d. Consecutive values of continuous quantity, which 
are defined with reference to the Calculus ; 

3d. The Differential of a quantity, arising from the two 
first definitions ; viz., the difference betiueen any two con- 
secutive values of a continuous quantity ; 

4th. That the differential of the independent variable 
is the common unit of measure for all differentials. 

The law of continuity, which may be applied, by hy- 
pothesis, to all quantity, not restricted by definition, and 
which is certainly applicable to time and space, and so 
far as we know, to all growth and development, is a 
necessary condition in all operations of the Calculus. 
Hence, the true theory of the Calculus must be based 
upon it. 

In regard to the present Treatise, it aims to make the 
law of continuity, in quantity, as accessible and familiar 
as the law of gravitation in matter. If this be accom- 
plished, the mysteries of the Calculus will disappear; 
and the subject will embrace, like the other branches 
of Mathematics, only questions of ratio and measure- 
ment. And why should this not be so, after we ap- 
prehend, distinctly, the unit of measure and the law 
of change? 

Fishkill-on-Hudson, January, 1873. 



CONTENTS 



INTRODUCTION. 

PAGE 

CONTINUOUS QUANTITY — CONSECUTIVE DIFFERENCES AND LIMITS, 9-44 



SECTION I. 

DEFINITIONS AND FIB8T PRINCIPLES 

1ETIGLS 

Definitions 1 

Uniform and Varying Changes - . . . . 2-4 

Function and Variable 4-9 

Algebraic and Transcendental Functions 9 

Geometrical representation of Functions 10 

Language of Numbers inadequate 11 

Consecutive Values and Differentials 12 

Differential Coefficient 13 

Form of difference between two states of a Function 14-15 

Differential Coefficient and Differential 15 

Equal Functions have equal Differentials 16 

Converse not True 17-19 

Signs of the Differential Coefficient 19 

Nature of a Differential Coefficient, and of a Differential 20 

Rate of Change 21-24 

Nature of Differential Calculus 24-26 



SECTION II. 

DIFFERENTIALS OF ALGEBRAIC FUNCTIONS. 

Differential of Sum or Difference of Functions 26 

Differential of a Product 27-29 

Differentials of Fractions 29 

Differentials of Powers and Formulas ' 30 

Differential of a Particular Binomial 30 

Rate of Change of a Function. . 31 

Partial Differentials 82-84 

14 



VI CONTENTS, 



SECTION III. 



INTEGRATION AND APPLICATIONS. 

1BTICLB 

Integration and A pplications 34 

Integration of Monomials . 35-41 

Integration of Particular Binomials 41 

Integration by Series 42 

Equations of Tangents and Normals 43-50 

Asymptotes 50-52 

Differential of an Arc 52 

Rectification of Plane Curves , 53 

Quadratures 54 

Quadrature of Plane Figures 55 

Nature of the Integral 56 

Area of a Rectangle 57 

Area of a Triangle 58 

Area of a Parabola 59 

Area of a Circle 60 

Area of an Ellipse 61 

Quadrature of Surfaces of Revolution 62 

Surface of a Cylinder 63 

Surface of a Cone 64 

Surface of a Sphere 65 

Surface of a Paraboloid 66 

Surface of an Ellipsoid 67 

Cubature of Volumes of Revolution 68 

Examples in Cubature 68-71 



SECTION IV. 

SUCCESSIVE DIFFERENTIALS — SIGNS OF DIFFERENTIAL CO- 
EFFICIENTS FORMULAS OF DEVELOPMENT. 

Successive Differentials 7 1 

Signs of the First Differential Coefficient 72 

Signs of the Second Differential Coefficient 73 

Applications , 74 

Maclaurin's Theorem 75-76 

Taylor's Theorem 77-81 



CONTENTS. VIJ 



SECTION V. 

MAXIMA AND MINIMA. 

ABTKJLH 

Maxima and Minima 81-86 

Points of Inflection 84 



SECTION VI. 

DIFFERENTIALS 01 TRANSCENDENTAL FUNCTIONS. 

Differentials of Logarithmic Functions 86 

Relation between a and k, 87-90 

Differential Forms which have Known Logarithmic Integrals 91 

Circular Functions 92-99 

Differential Forms which have Known Circular Integrals 99 

Applications , 100 



SECTION VII. 

TRANSCENDENTAL CURVES — CURVATURE — RADIUS OF CURVA- 
TURE — INVOLUTES AND EVOLUTES. 

Classification of Curves 101 

Logarithmic Curve— General Properties 102-106 

Asymptote 106 

Sub-tangent 107 

The Cycloid 108 

Transcendental Equation of the Cycloid 109 

Differential Equation 110 

Sub-tangent — Tangent — Sub-normal — Normal Ill 

Position of Tangent 112 

Curve Concave 113 

Area of the Cycloid 114 

Area of Surface generated by Cycloidal Arc 115 

Volume generated by Cycloid 116 

Spirals, or Polar Lines 117 

General Properties 118 

Spiral of Archimedes 119 

Parabolic Spiral 1 20 

Hyperbolic Spiral 121 



7111 CONTENTS. 

ARTICLE 

Logarithmic Spiral 122 

Direction of the Measuring Arc 123 

Sub-tangent in Polar Curves 124-127 

Angle of Tangent and Radius-vector 127 

Yalue of the Tangent 128 

Differential of the Arc 129 

Differential of the Area 130 

Areas of Spirals 131-135 

CURVATURE. 

Curvature of a Circle inversely as the Radius 135-136 

Orders of Contact 137 

Osculatory Curves 138 

Osculatory Circle ISO 

Limit of the Orders of Contact 140 

Radius of Curvature 141 

Measure of Curvature 142-144 

Radius of Curvature for Lines of the Second Order 144-149 

Evolute Curves 149 

A Normal to the Involute is Tangent to the Evolute 150 

Evolute and Radius change by Same Quantity 151 

Evolute of the Cycloid 152 

Equation of the Evolute Curve 153 

Evolute of the Common Parabola 154 



INTEGRAL CALCULUS. 

Nature of Integration 155 

Forms of Differentials having known Algebraic Functions 156-159 

Forms of Differentials having known Logarithmic Functions 159 

Forms of Differentials having known Circular Functions 160 

Integration of Rational Fractions 161 

Integration by Parts 162 

Integration of Binomial Differentials 163 

When a Binomial can be Integrated 164 

Formula ^ 165 

Formula Jg 166 

Formula <g 167 

Formula $§> 168 

Formula £g 169 



I^TKODTTCTION 



TO 



DIFFERENTIAL CALCULUS. 



1. The entire science of mathematics is conversant about 
the properties, relations, and measurement of quantity. 
Quantity has already been defined. It embraces everything 
which can be increased, diminished, and measured. 

In the elementary branches of mathematics, quantity is 
regarded as made up of parts. If the parts are equal, each 
is called a unit, and the measure of a quantity is the num- 
ber of times which it contains its unit. Such quantities 
are called discontinuous ; because, in passing from one state 
of value to another, we go by the steps of the unit, and 
hence, pass over all values lying between adjacent units. 

Thus, if we increase a line from one foot to forty feet, by 
the continued addition of one foot, we touch the line, in our 
computation, only at its two extremities, and at thirty-nine 
intermediate points, of which any two adjacent points are 
one foot apart. In the scale of ascending numbers, 1, 2, 3, 
4, 5, 6, etc., we pass over all quantities less than that which 
is denoted by the unit, one. Discontinuous quantities are 
generally expressed by numbers, or by letters, which stand 
for numbers. 



10 INTRODUCTION TO 

2. In the higher branches of mathematics, the laws which 
regulate and determine the changes of quantity, from one 
state of value to another, are quite different. Suppose, for 
example, that instead of considering a right line to be made 
up of forty feet, or of 480 inches, or of 960 half inches, or 
of 1,920 quarter inches, or of any number of equal parts of 
the inch, we regard it as a quantity haying its origin at 0, 
and increasing according to such a law, as to pass through 
or assume, in succession, all values between and forty feet. 
This supposition gives us the same distance as before, but 
a very different law of formation. A quantity so formed or 
generated, is called a continuous quantity. Hence, 

A discontinuous quantity is one which is made up of 
parts, and in which the changes, in passing from one state 
of value to another, can be expressed in numbers, either 
exactly, or approximatively ; and 

A continuous quantity is one which in changing from 
one state of value to another, according to a fixed law, 
passes through or assumes, in succession, all the interme- 
diate values. 

Thus, the time which elapses between 12 and 1 o'clock, 
or between any two given periods, is continuous. All space 
is continuous, and every quantity may be regarded as con- 
tinuous, which can be subjected to the required law of 
change. 

Limits. 

3. The limit of a variable quantity is a quantity towards 
which it may be made to approach nearer than any given 
quantity, and which it reaches, under a particular supposi- 
tion. 



DIFFERENTIAL CALCULUS. 11 

Limits of Discontinuous Quantity. 

4. The limits of a discontinuous quantity are merely 
numerical boundaries, beyond which the quantity cannot 
pass. 

For positive quantities, the minimum limit is 0, and the 
maximum limit, infinity. For negative quantities, they are 
0, and minus infinity; and generally, using the algebraic 
language, the limits of all quantities are, 

Minimum limit, — infinity ; maxim am limit, + infinity. 

We can illustrate these limits, and also what we mean 
by the terms, and infinity, plus or minus, by refer- 
ence to the trigonometrical functions. Thus, when the arc 
is 0, the sine is 0. "When the arc increases to 90°, the sine 
attains its maximum value, the radius, R. Passing into the 
second quadrant, the sine diminishes as the arc increases, 
and when the arc reaches 180°, the sine becomes 0. From 
that point, to 270°, the sine increases numerically, but de- 
creases algebraically, and at 270°, its minimum value is, 
— R. From 270° to 360°, the sine decreases numerically, 
but increases algebraically. Hence, the numerical limits of 
the sine, are and R; and its algebraic limits, — R and 

Let us now consider the tangent. For the arc 0, the 
tangent is 0. If the arc be increased from towards 90°, 
the length of the tangent will increase, and as the arc 
approaches 90°, the prolonged radius or secant becomes 
more nearly parallel with the tangent; and finally, at 90° 
it becomes absolutely parallel to it, and the length of the 



12 INTRODUCTION TO 

tangent becomes greater than any assignable line. Then 
we say, that the tangent of 90° is infinite ; and we de- 
signate that quantity by oo . After 90°, the tangent becomes 
minus, and continues so to the end of the second quadrant, 
where it becomes — ; and at 270° it becomes equal to, + oo . 
The secant of 90° is also equal to + oc ; and of 270°, to — oo . 
These illustrations indicate the significations of the terms, 
zero and infinity. They denote the limits toward which varia- 
ble quantities may be made to approach nearer than any 
given quantity, and which limits are reached under particu- 
lar suppositions. 

5. The term, given, or assignable quantity, denotes any 
quantity of a limited and fixed value. 

The term, infinitely great, or infinity, denotes a quantity 
greater than any assignable quantity of the same kind. 

The term, infinitely small, or infinitesimal, denotes a 
quantity less than any assignable quantity of the same 
kind. 

Continuous Quantities. 

6. A continuous quantity has already been defined 
(Art. 2.) By its definition it has two attributes : 

1st. That it shall change its value according to a fixed 
law; and 

2d. That in changing its value, between any two limits, 
it shall pass through all the intermediate values. 

7. Consecutive Values. — Two values of a continuous 
quantity are consecutive when, if the greater be diminished, 



DIFFEKENTIAL CALCULUS. 



or the less increased, according to the law of change, the 
two values will become equal. 

Let A be the origin of a system of rectangular co-ordi- 
nate axes, and C a given point on the axis of X. 

If we suppose a point to move from A, in the plane of the 
axes, and with the further condition, that it shall continue 
at the same distance from the point (7, it will generate the 
circumference of a circle, APBDEA, beginning and ter- 
minating at the point A. The moving point is called the 
generatrix. 

The circumference of this circle may also be generated in 
another way, thus : 

Denote the straight line AD by 2R, and suppose a point 
to move uniformly from A to D. Denote the distance from 
A to any point 
of the line A D, 
by x : then, the 
other segment 
will be denoted 
by 2R - x. 
Now, at every 
point of AD, 
suppose a per- 
pendicular to 
be drawn to 
AD. Denote 
each perpendic- 
ular by y, and suppose y always to have such a value as to 
satisfy the equation 

y* = 2Rx - x\ 




14 IKTKODUCTIOKTO 

Under these hypotheses, it is plain that the extremities of 
the ordinate y will be found in the circumference of the 
circle, which will he a continuous quantity. The ordinate 
y will be contained, in the first quadrant, between the 
numerical limits of y = and y = +B; in the second, be- 
tween the numerical limits of y = -hi?, and y == ; in the 
third, between y — — and y = — B; and in the fourth, 
between y == —R and ?/ = — 0. 

The circumference ABDEA, may be regarded under two 
points of view : 

First. As a discontinuous quantity, expressed in numbers : 
viz., by AD X 3.1416 ; or it may be expressed in degrees, 
minutes, or seconds, viz., 360°, or 21600', or 1296000". In 
the first case, the step, or change, in passing from one value 
to the next, will be the unit of the diameter AD. In the 
second, it will be one degree, one minute, or one second. In 
neither case, will the parts of the circumference less than the 
unit be reached by the computation. Or, 

Secondly: We may regard the circumference as a con- 
tinuous quantity, beginning and terminating at A. Under 
this supposition, the generatrix will occupy, in succession, 
every point of the circumference, and will, in every position, 
satisfy the equation 

y 1 = 2Bx - x\ 
Hence, if we measure a quantity by a finite unit, that 
quantity is discontinuous: but if we measure it by an infin- 
itesimal unit, the quantity becomes continuous. 

Tangent Line and Limit. 
§. Take any point of the circumference of this circle, as 
P } whose co-ordinates are x' and y', and a second point H, 



DIFFERENTIAL CALCULUS. 



15 



whose co-ordinates are x" and y", and through these points 
draw the secant line, HPG. 

Then, HJ = y" - y' y and PJ= z"-x'i and 



HJ _y"-y 



PJ 



x —x 



{ T = tang, of the angle HP J, or HOC. 



Let us now suppose a tangent line TP to be drawn to the 
circle, touching it at P. If we suppose the point H to ap- 
proach the point P, it is plain that the value of y" will ap- 
proach to the value of y f , and the value of x" to that of x' : 
and when the point H becomes consecutive with the point 
P, y" and y' will become consecutive, and so also will x" and 
x\ When the point H becomes consecutive with the point 
P, the secant line, HG, becomes the tangent line PT For, 
since the arc is a continuous quantity, no point of it can lie 
between two of its consecutive values ; and hence, at P, no 
point of the curve can lie above the line TP ; therefore, by 
the definitions of Geometry, TP is a tangent line to the circle 
at the point P. 

But the defini- 
tion of a tangent 
line to a circle, 
in elementary 
Geometry, viz., 
that it touches 
the circumfer- 
ence in one point ^ / \ I I xr \jy 

is incomplete. It 
is provisional on- 
ly. For, as we 
now see, the tan- ^ E 





Y 




( 


9 








H 








~~""\Z? 






pJ^ 


J >y 






f 


y 




G 


T A 


JC 


' a?" 


C -A \ 



16 INTRODUCTION TO 

gent line touches the circle in tivo consecutive points, which, 
in discontinuous quantity, are regarded as one, because the 
distance between them, expressed numerically, is zero. 

If we prolong JHtiW it meets the tangent line at 0, we see 
that, 

- tangent of OP J = tangent of OTC\ and that, 



x" - x' 

JH 

x" - x' 



: tangent of HP J = tangent of HGC. 



When the point H approaches the point P nearer than 
any given distance, the angle HG C will approach the angle 
PTC nearer than any given angle, and when H becomes con- 
secutive with P, the angle HGC will become equal to the 
angle PTC, which is therefore its limit. Under this hy- 
pothesis, the point H falls on the tangent line, and JH be- 
comes equal to JO. Under the same hypothesis, y" and y f 
become consecutive, and also x" and x' ; hence, y" —y f 
becomes less than any given quantity ; and so, also, does 
x" — x\ This difference between consecutive values is ex- 
pressed by simply writing the letter cl before the variable. 
Thus, the difference of the consecutive values of y, is 
denoted by dy ; and is read differential of y ; and the dif- 
ference between the consecutive values of #, is denoted by^, 
and is read differential of x. Hence, we have 



dy 
dx 



^ = tangent PTC; viz., 



the tangent of the angle which the tangent at the point P 
makes the axis of X 



DIFFEBENTIAL CALCULUS. 



17 





Y 




( 











H 








N^ 






^/^ 


J >v 




</ 




V 


T 7 " 


G 


T A 


W 


' a?" 


G -^ 



By the definition of a limit, dy becomes the limit of y"—y', 
and dx the limit 

of x" — x', under 
the supposition, 
that y" and y' y 
and z" and #' be- 
come, respective- 
ly, con seen tiye. 
The term limit, 
therefore, used to 
designate the ul- 
timate difference 
between two val- 
ues of a variable, 
denotes the actual difference between its two consecutive 
values; this difference is infinitely small, and consecutive 
with zero. For, if after y" has become consecutive with y\ 
it be again diminished, according to the law of change ex- 
pressed by the equation 

if = 2Bx - x 2 

it will, from the definition of consecutive values, become 
equal to y\ and then x" will become equal x\ and we shall 
have 



E 



y" -y' = o 



and 



3>' = 0. 



Under this hypothesis the line PT has, at P, but a single 
point, common with the circumference of the circle ; it then 
ceases to be a tangent, and becomes any secant line passing 
through this point and intersecting the circumference in a 
second point. 

9. What we have here shown in regard to the circum- 

1* 



18 INTRODUCTION TO 

ference of the circle, and its tangent, is equally true of any 
other curve and its tangent, as may be shown by a very 
slight modification of the process. 

The fact, that a straight line tangent to a curve, has Wo 
consecutive points common with it, appears in all the ele- 
mentary problems of tangents. These conditions, are, an 
equality between the co-ordinates of the point of contact and 
the first differential co-efficients, at the same point, of the 
straight line and curve. These conditions fix the consecutive 
points common to the straight line and curve. 

Analysis, therefore, by its searching and microscopic 
powers — by looking into the changes which take place in 
quantity, as it passes from one state of value to another, 
develops properties and laws which lie beyond the reach of 
the numerical language. Thus, the distance between two 
consecutive points, on the circumference of a circle, cannot 
be expressed by numbers ; for, however small the number 
might be, chosen to express such a distance, it could be 
diminished, and hence, there would be intermediate points. 

The introduction, therefore, of continuous quantity, into 
the science of mathematics, brought with it new ideas and 
the necessity of a new language. Quantity, made up of parts, 
and expressed by numbers, is a very different thing from the 
continuous quantity treated of in the Differential and Integral 
Calculus. Here, the law of continuity, in the change from 
one state of value to another, is the governing principle, 
and carries with it many consequences. 

Time and space are the continuous quantities with which 
we are most conversant. If we take a moment in time, and 
look back to the past, or forward to the future, there is no 



DIFFERENTIAL CALCULUS. 19 

interruption. The law of continuity is unbroken, and the 
infinite opens to our contemplation. If we take a point in 
space, and through it conceive a straight line to be drawn, 
the law of continuity is also there, and the imagination runs 
along it, to the infinite, in either direction. The attraction 
of gravitation is a continuous force;* and all the motions to 
which it gives rise, follow the law of continuity. All 
growth and development, in the vegetable and animal king- 
doms, so far as we know, conform to this law. This, there- 
fore, is the great and important law of quantity, and the 
Higher Calculus is conversant mainly about its development 
and consequences. 

Consequences of the Law of Continuity. 

1. The most striking consequence of the law of conti- 
nuity, is the fact, that whatever be the quantity subjected 
to this law, or whatever be the law of change, the differ- 
ence between any two of the consecutive values is an infini- 
tesimal, and hence cannot be expressed by numbers. 

2. Since a continuous quantity may be of any value, and 
be subjected to any law of change, the infinitesimal which 
expresses the difference between any two of its consecutive 
values, is a variable quantity; and hence, may have any 
value between zero and its maximum limit. 

3. The law of continuity in quantity, therefore, intro- 
duces into the science of mathematics a class of variables 
called infinitesimals, or differentials. Every variable quan- 
tity has, at every state of its value, an infinitesimal corre- 
sponding to it. This infinitesimal is the connecting link, in 
the law of continuity, and will vary with the value of the 
quantity and the law of change. 



20 



INTRODUCTION TO 



4. In the Infinitesimal Calculus, the properties, relations, 
and measurement of quantities are developed by considering 
the laws of change to which they are subjected. The 
elements of the language employed, are symbols of those 
infinitesimals. 



newton's method of treating continuous quantity.* 

Lemma I. 
10. Quantities, and the ratios of quantities, which in any finite 

time converge continually to equality, and before the end of 

that time approach nearer, the one to the other, than by any 

given difference, become ultimately equal. 

If you deny it, suppose them to be ultimately unequal, 
and let D be their ultimate difference. Therefore, they 
cannot approach nearer to equality than by that given dif- 
ference D ; w r hich is against the supposition. 

Lemma II. 
If in any figure, AacE, terminated by right lines Aa, 
AE, and the curve acE, there be inscribed any number of 
parallelograms Ab, Be, Cd, etc., comprehended under the 
equal bases, AB, BC, CD, etc., and the sides Bb, Cc, Dd, 
etc., parallel to one side Aa of the 
figure; and the parallelograms 
aKbl, bLcm, cMdn, dDEo are com- 
pleted; then, if the breadth of 
these parallelograms be supposed to 
be diminished, and their number 
to be augmented in finitum; I say, 
that the ultimate ratios ivhich the 
inscribed figure AKbLcMdD, the 



a I 



K 



A 







m 


6 






L 






n 


C 








M 






d 


\ 



o 



B G D E 



* Principia, Book I. t Section I. 



DIFFERENTIAL CALCULUS. 



21 



circumscribed figure AalbmcndoE and the curvilinear figure 
AabcdE to ill have to one another, are ratios of equality. 

For, the difference of the inscribed and circumscribed 
figures is the sum of the parallelograms, Kl, Lm, Mn, Do, 
that is, (from the equality of their bases), the rectangle 
under one of their bases Kb and the sum of their altitudes 
Aa; that is, the rectangle ABla. But this rectangle, be- 
cause its breadth AB is supposed diminished in finitum, 
becomes less than any given space. And therefore, (by 
Lemma I.) the figures inscribed and circumscribed, become 
ultimately equal one to the other ; and much more will the 
intermediate curvilinear figure be ultimately equal to either. 

Lemma III. 

11. The same ultimate ratios are also ratios of equality, 
when the breadths AB, BC, DC, etc., of the parallelograms 
are unequal and are all diminished in finitum. 



a If 



K 



M 



m 



n 



For, suppose AF to be the greatest breadth, and complete 
the parallelogram FAafi This par- 
allelogram will be greater than the 
difference of the inscribed and cir- 
cumscribed figures ; but because 
its breadth AF is diminished in 
finitum, it will become less than 
any given rectangle. 

Cor. 1. Hence, the ultimate sum 
of these evanescent parallelograms 
will, in all parts, coincide with the curvilinear figure. 



d 



BF C B E 



Cor. 2. Much more will the rectilinear figure compre- 



22 



IKTKODUCTI OK TO 



hended under the chords of the evanescent arcs, ab, be, cd, 
etc. ultimately coincide with the curvilinear figure. 

Cor. 3. And also, the circumscribed rectilinear figure 
comprehended under the tangents of the same arcs. 

Cor. 4. And therefore, these ultimate figures (as to their 
perimeters, acE) are not rectilinear, but curvilinear limits 
of rectilinear figures. 

Lemma IV. 

12. If in two figures, AacE, PprT, you inscribe (as before) 
two ranks of parallelograms, an equal number in each rank, 
and, ivhere their breadths are diminished, in finitum, the 
ultimate ratios of the parallelograms in one figure to those 
in the other, each to each respectively, are the same ; I say, 
that those two figures, AacE, PprT, are to one another in 
thai same ratio* 



a 



x 



E 



X 



For, as the parallelograms in the one figure are severally 
to the parallelograms in the other, so (by composition) is 
the sum of all in the one to the sum of all in the other ; 
and so is the one figure to the other; because (by Lemma 
III.), the former figure to the former sum, and the latter 
figure to the latter sum, are both in the ratio of equality. 



DIFFERENTIAL CALCULUS. 23 

Cor. Hence, if two quantities of any kind are anyhow 
divided into an equal number of parts, and those parts, 
when their number is augmented, and their magnitude 
diminished in finitum, have a given ratio one to the other, 
the first to the first, the second to the second, and so on in 
order, the whole quantities will be one to the other in that 
same given ratio. For if in the figures of this lemma, the 
parallelograms are taken one to the other in the ratio of the 
parts, the sum of the parts will always be as the sum of the 
parallelograms ; and therefore, supposing the number of the 
parallelograms and parts to be augmented, and their magni- 
tudes diminished infinitum, those sums will be in the ulti- 
mate ratio of the parallelogram in the one figure to the cor- 
responding parallelogram in the other; that is (by the 
supposition), in the ultimate ratio of any one part of the 
one quantity to the corresponding part of the other. 

Lemma V. 

13. In similar figures all sorts of homologous sides, whether 
curvilinear or rectilinear, are proportional ; and their 
areas are in the duplicate ratio of their homologous sides. 

Lemma VI. 

14. If the arc A CB, given in position, is subtended by the 

chord AB, and in any point A ~^L H d 

in the middle of the continued 
curvature, is touched by a right 
line AD, produced loth ways ; 
then, if the points A and B 
approach one another and 
meet, [become consecutive'] I ^ 

say, the angle BAD contained betiueen the chord and the fan- 
gent ivill be diminished in finitum, and ultimately will van ish. 




24 



INTRODUCTION TO 



For, if it does not vanish, the arc A OB, will contain with 
the tangent AD, an angle equal to a rectilinear angle ; and 
therefore, the curvature at the point A will not be con- 
tinued, which is against the supposition. 

Lemma VII. 

15. The same tiling being supposed, I say that the ultimate 

ratio of the arc, chord, and tangent, any one to any other, 

is the ratio of equality. 

For, while the point B approaches towards the point A, 
consider always AB and AD as produced to the remote 
points b and d, and parallel to the secant BD draw hd: 
and let the arc A cb be always similar to the arc ACB. 
Then, supposing the points A 
and B to coincide, [become 
consecutive], the angle dAb 
will vanish, by the preceding 
lemma; and therefore, the 
right lines Ab, Ad (which 
were always finite), and the 
intermediate arc Acb, will co- 
incide, and become equal 

among themselves. Wherefore, the right lines AB, AD, 
and the intermediate arc ACB (which are always pro- 
portional to the former), will vanish, and ultimately acquire 
the ratio of equality. 

Con. 1. Whence, if through B we draw BF parallel to 
the tangent, always cut- A ll> 

ting any right line AF ^ 

passing through A and 
F, this line BF will be, 
ultimately, in the ratio of equality with the evanescent 






DIFFERENTIAL CALCULUS. 25 

arc ACB; because, completing the parallelogram AFBD, it 
is always in the ratio of equality with AD. 

Cor. 2. And if through B and A more right lines be 
drawn BE, BD, AF, A G, 

cutting the tangent AD j_ e\ Id 

and its parallel BF, the 
ultimate ratio of the ab- 
scissas AD, AF, BF, BG, 
and of the arc A B, any 
one to any other, will be the ratio of equality. 

Con. 3. And therefore, in any reasoning about ultimate 
ratios, we may freely use any one of those lines for any 
other. 



16, Scholium. — Those things which have been demonstrated 
of curve lines, and the superficies which they comprehend, may 
be easily applied to the curve superficies, and contents of solids. 
These lemmas are premised to avoid the tediousness of de- 
ducing perplexed demonstrations ad alsiirdam, according to 
the method of the ancient geometers. For demonstrations 
are more contracted by the method of indivisibles : but be- 
cause the indivisibles seem somewhat harsh, and therefore, 
that method is reckoned less geometrical, I chose rather to 
reduce the demonstrations of the following propositions to 
the first and last sums and ratios, of nascent and evanescent 
quantities; that is, to the limits of those sums and ratios; 
and so, to premise, as short as I could, the demonstration of 
those limits. For, hereby the same thing is performed as 
by the method of indivisibles; and now those principles 
being demonstrated, we may use them with more safety. 



26 INTRODUCTION TO 

Therefore, if hereafter I should happen to consider quanti- 
ties as made up of particles, or should use little curve lines 
for right ones, I would not be understood to mean indivisibles, 
but evanescent divisible quantities; not the sums and ra- 
tios of determinate parts, but always the limits of sums and 
ratios; and that the force of such demonstrations always 
depends on the method laid down in the foregoing lemmas. 
Perhaps it may be objected, that there is no ultimate 
proportion of evanescent quantities; because the proportion, 
before the quantities have vanished, is not the ultimate, and 
when they are vanished, is none. But by the same argument 
it may be alleged, that a body arriving at a certain place, 
and there stopping, has no ultimate velocity; because, the 
velocity, before the body comes to the place, is not its ulti- 
mate velocity ; when it has arrived, is none. But the answer 
is easy; for, by the ultimate velocity is meant, that with 
which the body is moved, neither he/ore it arrives at its last 
place and the motion ceases, nor after ; but, at the very in- 
stant it arrives ; that is, that velocity with which the body 
arrives at its last place, and with which the motion ceases. 
And in like manner, by the ultimate ratio of evanescent 
quantities is to be understood the ratio of the quantities 
not before they vanish, not afterwards, but with which they 
vanish. In like manner, the first ratio of nascent quanti- 
ties is that with which they begin to be. And the first or 
last sum, is that with which they begin to be (or to be 
augmented or diminished). There is a limit which the velo- 
city at the end of the motion may attain, but not exceed. 
This is the ultimate velocity. And there is the like limit 
in all quantities and proportions that begin and cease to be. 
And since such limits are certain and definite, to determine 
the same is a problem strictly geometrical. But whatever is 



DIFFEBENTIAL CALCULUS. 27 

geometrical we may be allowed to use in determining and 
demonstrating any other thing that is likewise geometrical. 



Fruits of Newton's Theory. 

17. The main difficulties in the higher mathematics, have 
arisen from inadequate or erroneous notions of ultimate or 
evanescent quantities, and of the ratios of such quantities. 
After two hundred years of discussion, of experiment and of 
trial, opinions yet differ widely in regard to them, and es- 
pecially in regard to the forms of language by which they 
are expressed. 

One cannot approach this subject, which has so long 
engaged the earnest attention of the greatest minds known 
to science, without a feeling of awe and distrust. But 
tapers sometimes light corners which the rays of the sun 
do not reach ; and as we must adopt a theory in a system of 
scientific instruction, it is perhaps due to others, that we 
should assign our reasons therefor. 

1§. An ultimate, or evanescent quantity, which is the 
basis of the Newtonian theory, is not the quantity "be- 
fore it vanishes, nor aftenvards ; but, with which it 
vanishes" 

I have sought, in what precedes and follows, to define 
this quantity — to separate it from all other quantities — 
to present it to the mind in a crystallized form, and in 
a language free from all ambiguity; and then to explain how 
it becomes the key of a sublime science. 



28 INTRODUCTION TO 

As a first step in this process, I have defined continuous 
quantity (Art. 2.), and this is the only class of quantity to 
which the Differential Calculus is applicable. The next step 
was to define consecutive values, and ihen, the difference be- 
tween any two of them (Art. 7). These differences are the 
ultimate or evanescent quantities of Newton. They are 
not quantities of determinate magnitudes, but such as 
come from variables that have been diminished indefi- 
nitely. They form a class of quantities by themselves, 
which have their own language and their own laws of 
change ; and they are called, Infinitesimals, or Differentials. 

Since the difference between any two values of a variable 
quantity, which are near together, but not consecutive, will 
depend on the relative values of the quantities and the law 
of change, it is plain, that when w r e pass to the limit of this 
difference, such limit will also depend for its value on 
the variable quantity and the law of change : and hence, 
the infinitesimals are unequal among themselves, and any 
two of them may have, the one to the other, any ratio 
whatever. 

These infinitesimals will always be quantities of the same 
hind as those from which they were derived ; for the kind of 
quantity which expresses a difference, is the same, whether 
the difference be great or small. 

Limits. 

19. Marked differences of opinion exist among men of 
science in regard to the true notion of a limit ; and hence, 
definitions have been given of it, differing widely from each 
other. We have adopted the views of Newton, so clearly set 
forth in the lemmas and scholium which we have quoted 



DIFFERENTIAL CALCULUS. 



29 



from the Principia. He uses, as stated in the latter part 
of the scholium, the term limit, to designate the ultimate 
or evanescent value of a variable quantity; and this value is 
reached under a particular hypothesis. Hence, our defini- 
tion (Art. 3). 

Let us now refer again to the case of tangency. 

Let APB be any curve whatever, and TPF a tan- 
gent touching it at the point P. Draw any chord of 
the curve, as PB, and though P and B draw the or- 
dinates PD and BR. Also draw P C parallel to TH. 

Then, £L = tang. FPO = tang, the angle PTH, which 

the tangent line TPF makes with the axis TH. 

BO 
But, = tangent of the angle 

BPC. 

If now we suppose BH to move 
towards PD, the angle BPC will 
approach the angle FPC, which 
is its limit. When BH becomes 
consecutive with PD, BC will 
reach its ultimate value : and since 
by Lemma VII., the ultimate 

ratio of the arc, chord, and tangent, any one to any other^ 
is the ratio of equality, it follows that they must then all be 
equal, each to each. Under this hypothesis the point B 
must fall on the tangent line TPF; that is, the chord and 
tangent, in their ultimate state, have two points in common ; 
hence they coincide ; and as the two points of the arc are 
consecutive, it must also coincide with the chord and tangent. 




30 INTRODUCTION TO 

This, at first sight, seems impossible. But if it be granted 
that two points of a curve can be consecutive and that a 
straight line can be drawn through any two points, we have 
the solution. If we deny that two points of the curve can be 
consecutive, we deny the law of continuity. 

The method of Leibnitz adopted the simple hypothesis 
that when the point B approached the point P, infinitely 
near, the lines 6 7 Pand CB become infinitely small, and that 
then, either may be taken for the other ; under which 
hypothesis the ratio of PC to CB, becomes the ratio of PC 
to CF. 

What the Lemmas of Newton prove. 

20. The first lemma, which is "the corner-stone and 
support of the entire system," predicates ulti?nate equality 
between any two quantities which continually approach 
each other in value, and under such a law of change, that, 
in any finite time they shall approach nearer to each other 
than by any given difference. The common quantity towards 
which the quantities separately converge, is the limit of each 
and both of them, and this limit is always reached under a 
particular supposition. 

Lemmas IL, III., and IV. indicate the steps by which we 
pass from discontinuous to continuous quantity. They 
introduce us, fully, to the law of continuity. They dem- 
onstrate the great truth, that the curvilinear space is the 
common limit of the inscribed and circumscribed parallelo- 
grams, and that this limit is reached under the hypothesis 
that the breadth of each parallelogram is infinitely small, 
and the number of them, infinitely great. Thus, we reach 



DIFFERENTIAL CALCULUS. 31 

the law of continuity ; and each parallelogram becomes a 
connecting link, in passing from one consecutive value to 
another, when we regard the curvilinear area as a variable. 
That there might be no misapprehension in the matter, 
corollary 1, of Lemma III., affirms, that, " the ultimate sum 
of these evanescent parallelograms, will, in all parts, coin- 
cide with the curvilinear figure." Corollary 4, also, affirms 
that, "therefore, these ultimate figures (as to their perimeters, 
acE), are not rectilinear, but curvilinear limits of rectilinear 
figures:" that is, the curvilinear area AEa is the common 
limit of the inscribed and circumscribed parallelograms, 
and the curve Edcba, the common limit of their perimeters. 
This can only take place when the ordinates, like Del, Cc, 
JBk, become consecutive ; and then, the points o, n, fit, and 
I fall on the curve. 

The law of continuity carries with it, necessarily, the 
ideas of the infinitely small and the infinitely great. These 
are correlative ideas, and in regard to quantity, one is the 
reciprocal of the other. The inch of space, as well as the 
curved line, or the curvilinear surface of geometry, has 
within it the seminal principles of this law. 

If we regard it as a continuous quantity, having in- 
creased from one extremity to the other, without missing any 
point of space, we have, the law of change, the infinitely 
small (the difference between two consecutive values, or the 
link in the law of continuity), and the infinitely great, in 
the number of those values which make up the entire 
line. 

It has been urged against the demonstrations of the 
lemmas, that a mere inspection of the figures proves the 
demonstrations to be wrong. For, say the objectors, there 



32 INTRODUCTION TO 

will be, always, obviously, "a portion of the exterior par- 
allelograms lying without the curvilinear space." This is 
certainly true for any finite number of parallelograms. 

But the demonstrations are made under the express 
hypothesis, that, "the breadth of these parallelograms be 
supposed to be diminished, and their number to be aug- 
mented, infinitum" Under this supposition, as we have 
seen, the points, o, n, m, and I, fall in the curve, and then 
the areas named are certainly equal. 

Newton's Method in harmony with that of Leibnitz. 

21. The method of treating the Infinitesimal Calculus, 
by Leibnitz, subsequently amplified and developed by the 
Marquis L'Hopital, is based on two fudamental proposi- 
tions, or demands, which were assumed as axioms. 

I, That if an infinitesimal be added to, or subtracted 
from, a finite quantity, the sum or difference will be the 
same as the quantity itself. This demand assumes that the 
infinitesimal is so small that it cannot be expressed by 
numbers. 

II. That a curved line may be considered as made up of 
an infinite number of straight lines, each one of which is 
infinitely small. 

It is proved in Lemma II. that the sum of the ultimate 
rectangles Ab, Be, Cd, Do, etc., will be equal to the curvi- 
linear area AaE. This can only be the case when each is 
"'less than any given space," and their number infinite. 
What is meant by the phrase, " becomes less than any 
given space ? " Certainly, a space too small to be expressed 
by numbers ; for, if we have such a space, so expressed, we 
can diminish it by diminishing the number, which would 



DIFFERENTIAL CALCULUS. 33 

be contrary to the hypothesis. This ultimate value, then^ 
of either of the rectangles, is numerically zero : and hence, 
its addition to, or subtraction from, any finite quantity, 
would not change the value. The ultimates of Newton, 
therefore, conform to the first demand of Leibnitz, as 
indeed they should do ; for, they are not numerical quanti- 
ties, but connecting links in the law of continuity. 

It is proved in lemma VII., that the ultimate ratio of the 
arc, chord, and tangent, any one to any other, is the ratio of 
equality : hence, their ultimate values are equal. When this 
takes place, the two extremities of the chord become con 
secutive, and the remote extremity of the tangent falls on 
the curve, and coincides with the remote extremity of the 
chord: that is, F falls on the curve, and PB and PF, 
coincide with each other, and with the curve. The length 
of this arc, chord, or tangent, in their ultimate state, is 



Vdx 2 + dg'\ 

a value familiar to the most superficial student of the 
Calculus. 

Behold, then, one side of the inscribed polygon, when 
such side is infinitely small, and the number of them 
infinitely great. 

That such quantities as we have considered, have a con- 
ceivable existence as subjects of thought, and do or may 
have, proxi?natively, an actual existence, is clearly stated in 
the latter part of the scholium quoted from the Principia. 
It is there affirmed: "This is the ultimate velocity. And 
there is a like limit in all quantities and proportions which 
hegin and cease to be. And since such limits are certain 
and definite, to determine the same is a problem strictly geo- 

2 



34 INTRODUCTION TO 

metrical. But whatever is geometrical we may be allowed 
to use in determining and demonstrating any other thing 
that is likewise geometrical." * Hence, the theory of New- 
ton conforms to the second demand in the theory of Leib- 
nitz. 

Different Definitions of a Limit. 

22. The common impression that mathematics is an 
exact science, founded on axioms too obvious to be disputed, 
and carried forward by a logic too luminous to admit of 
error, is certainly erroneous in regard to the Infinitesimal 
Calculus. From its very birth, about two hundred years 
ago, to the present time, there have been very great differ- 
ences of opinion among the best informed and acutest minds 
of each generation, both in regard to its fundamental prin- 
ciples and to the forms of logic to be employed in their de- 
velopment. The conflicting opinions appear, at last, to have 
arranged themselves into two classes; and these differ, 
mainly, on this question : What is the correct apprehension 
and right definition of the word limit ? All seem to agree 
that the methods of treating the Calculus must be governed 
by a right interpretation of this word. The two definitions 
which involve this conflict of opinion, are these: 

1. Tlie limit of a variable quantity is a quantity toioards 
which it may be made to approach nearer than any given 
quaritity and which it reaches under a particular supposition. 

And the following definition, from a work on the Infini- 
tesimal Calculus by M.Duhamel, a French author of recent 
date: 

* Note,— The italics are added; they are not in the text. 



DIFFERENTIAL CALCULUS. 35 

2. The limit of a variable is the constant quantity tvhich the 
variable indefinitely approaches, but never reaches. 

This definition finds its necessary complement in the fol- 
lowing definition by the same author : 

"We call," says he, "an infinitely small quantity, or si?n- 
vly, an infinitesimal, every variable magnitude of which the 
limit is zero. 

The difference between the two definitions is simply this: 
by the first, the variable, ultimately, reaches its limit; by 
the second, it approaches the limit, but never reaches it. 
This apparently slight difference in the definitions, is the 
dividing line between classes of profound thinkers; and 
whoever writes a Calculus or attempts to teach the subject, 
must adopt one or the other of these theories. The first is 
in harmony with the theories of Leibnitz and Newton, which 
do not differ from each other in any important particular. 
It seems also to be in harmony with the great laws of quan- 
tity. In discontinous quantity, especially, we certainly in- 
clude the limits in our thoughts, and in the forms of our 
language. When we speak of the quadrant of a circle, we 
include the arc zero and the arc of ninety degrees. Of its 
functions, the limits of the sine, are zero and radius ; zero for 
the arc zero, and radius for the arc of ninety degrees. For 
the tangents, the limits are zero and infinity ; zero for the 
arc zero, and infinity for the arc of ninety degrees ; and 
similarly for all the other functions. For all numbers, the 
limits are zero and infinity ; and for all algebraic quantities, 
minus infinity and plus infinity. 

When we consider continuous quantity, we find the 
second definition in direct conflict with the first Lemma 
of Newton, which has been well called, "the corner- 



36 INTRODUCTION TO 

stone and foundation of the PrincipiaP . It is very 
difficult to comprehend that two quantities may ap- 
proach each other in value, and in any given time become 
nearer equal than any given quantity, and yet never become 
equal ; not even when the approach can be continued to 
infinity, and when the law of change imposes no limit to 
the decrease of their difference. This, certainly, is contrary 
to the theory of Newton. 

Take, for example, the tangent line to a curve, at a given 
point, and through the point of tangency draw any secant, 
intersecting the curve, in a second point. If now, the 
second point be made to approach the point of tangency, 
both definitions recognize the angle which the tangent line 
makes with the axis of abscissas as the limit of the angles 
which the secants make with the same axis, as the second 
point of secancy approaches the tangent point. By the first 
definition, the supposition of consecutive points causes the 
secant line to coincide with, and become the tangent. But 
by the second definition, the secant line can never become 
the tangent, though it may approach to it as near as we 
please. This is in contradiction to all the analytical 
methods of determining the equations of tangent lines to 
curves. See corollaries 1, 2, 3, and 4 of lemma III. ; in which 
all the quantities referred to are supposed to reach their 
limits. 

By the second definition, there would seem to be an im- 
passable barrier placed between a variable quantity and its 
limit. If these two quantities are thus to be forever sepa- 
rated, how can they be brought under the dominion of a 
common law, and enter together into the same equation. 
And if they cannot, how can any property of the one be 



DIFFERENTIAL CALCULUS. 37 

used to establish a property of the other ? The mere fact 
of approach, though infinitely near, would not seem to 
furnish the necessary conditions. 

The difficulty of treating the subject in this way is strik- 
ingly manifested in the supplementary definition of an infi- 
tesimal. It is defined, simply, as " every variable magnitude 
whose limit is zero? 

Now, may not zero be a limit of eyery variable which has 
not a special law of change ? Is not this definition too 
general to give a definite idea of the individual thing de- 
fined — an infinitisimal ? We have no crystallized notions of 
a class, till we apprehend, distinctly, the individuals of the 
class — their marked characteristics — their harmonies and 
their differences ; and also, their laws of relation and con- 
nection. 

Having given and illustrated these definitions, M. Duha- 
mel explains the methods by which we can pass from the 
infinitesimals to their limits ; and when, and under what 
circumstances, those limits may be substituted and used for 
the quantities themselves. Those methods have not seemed 
to me as clear and practical as those of Newton and Leib- 
nitz. 

It is essential to the unity of mathematical science, that 
all the definitions, should, as far as possible, harmonize with 
each other. In all discontinuous quantities, the boundaries 
are included, and are the proper limits. In the hyperbola, 
for example, we say that the asymptote is the limit of all 
tangent lines to the curve. But the asymptote is the tan- 
gent, when the point of contact is at an infinite distance 
from the vertex : and any tangent will become the asymp- 
tote, under that hypothesis. 



38 INTRODUCTION TO 

If s denotes any portion, of a plane surface, y, the ordinate 
and x the abscissa, we have the known formula : 

ds = ydx. 

If we integrate between the limits of x = 0, and x = a, 
we have, by the language of the Calculus 



y*=yj 



% ydz, 



which is read, "integral of the surface between limits 
of x = 0, and x = a," in which both boundaries enter into 
the result. 

The area, actually obtained, begins where x = 0, and ter- 
minates where x = a, and not at values infinitely near those 
limits. 

What Quantities are denoted by 0. 

23. Our acquaintance with the character 0, begins in 
Arithmetic, where it is used as a necessary element of the 
arithmetical language, and where it is entirely without value, 
meaning, absolutely nothing. Used in this sense, the 
largest finite number multiplied by it, gives a product equal 
to zero ; and the smallest finite number divided by it, gives 
a quotient of infinity. 

When we come to consider variable and continuous quan- 
tity, the infinitesimal or element of change from one con- 
secutive value to another, is not the zero of Arithmetic, 
though it is smaller than any number which can be ex- 
pressed in terms of one, the base of the arithmetical system. 



DIFFERENTIAL CALCULUS. 39 

Hence, the necessity of a new language. If the variable is 
denoted by x } we express the infinitesimal by dx\ if by y, 
then hjdy; and similarly, for other variables. 

Now, the expressions dx and dy, have no exact synonyms 
in the language of numbers. As compared with the unit 1, 
neither of them can be expressed by the smallest finite part 
of it. Hence, when it becomes necessary to express such 
quantities in the language of number, they can be denoted 
only by 0. Therefore, this 0, besides its first function in 
Arithmetic, where it is an element of language, and where 
the value it denotes is absolutely nothing, is used, also, to 
denote the numerical values of the infinitesimals. Hence, 
it is correctly defined as a character which sometimes 
denotes absolutely nothing, and sometimes an infinitely 
small quantity. We now see, clearly, what appears obscure 
in Elementary Algebra, that the quotient of zero divi- 
ded by zero, may be zero, a finite quantity, or infinity. 

Inscribed and circumscribed Polygons unite on the Circle. 

24. The theory of limits, developed by Newton, is not 
only the foundation of the higher mathematics, but indi- 
cates the methods of using the Infinitesimal Calculus in the 
elementary branches. This Calculus being unknown to the 
ancients, their Geometry was encumbered by the tedious me- 
thods of the reductio ad absurdum. Newton says in the scho- 
lium : " These lemmas are premised to avoid the tedious- 
ness of deducing perplexed demonstrations ad absurdum, 
according to the method of the ancient geometers." 

Lemma I., which is the " corner-stone and foundation of 
the Principia" is also the golden link which connects ge- 
ometry with the higher mathematics. 



40 INTRODUCTION TO 

It is demonstrated in Euclid's Elements, and also in Da- 
vies' Legendre, Book V., Proposition X., that " Two regular 
'polygons of the same number of sides can be constructed, the 
one circumscribed about the circle and the other inscribed 
within it, which shall differ from each other by less than any 
given surface" 

The moment it is proved that the exterior and interior 
polygons may be made to differ from each other by less 
than any given surface, Lemma I. steps in and affirms an ulti- 
mate equality between them. And when does that ultimate 
equality take place, and when and where do they become 
coincident ? Newton, in substance affirms, in his lemmas, 
" on their common limit, the circle," and under the same 
hypothesis as causes the inscribed and circumscribed paral- 
lelograms to become equal to their common limits, the 
curvilinear area. If Lemma I. is true, the perimeters of the 
two polygons will ultimately coincide on the circumference 
of the circle, and become equal to it. But what then is the 
side of each polygon ? We answer, the distance between 
two consecutive points of the circumference of the circle? 
And what is that value ? We answer, the -yj dx 2 4- dy*. 

But it is objected, that this introduces us to the infinitely 
small. True, it does; but we cannot reach a continuous 
quantity without it. The sides of the polygons, so long as 
their number is finite, will be straight lines, each diminishing 
in value as their number is increased. While this is so, the 
perimeter of each will be a discontinuous quantity, made up 
of the equal sides, each having a finite value, and each being 
the unit of change, as we go around the perimeter. As each of 
these sides is diminished in value, and their number increas- 
ed, the discontinuous quantity approaches the law of conti- 



DIFFEKESTTIAL CALCULUS. 41 

nuity, which it reaches, under the hypothesis, that each 
side becomes infinitely small and their number infinitely 
great. Behold the polygons embracing each other on their 
common limit, the circle, and the perimeter of each coinci- 
ding with the circumference. Thus, the principles of the In- 
finitesimal Calculus take their appropriate place in Elemen- 
tary Geometry, to the exclusion of the cumbrous methods of 
the reductio ad absurdam of the ancients, and the whole 
science of Mathematics is brought into closer harmonies 
and nearer relations. 

Differential and Integral Calculus. 

25. We have seen that the Differential and Integral Cal- 
culus is conversant about continuous quantity. We have 
also seen, that such quantities are developed by considering 
their laws of change. We have further seen, that these 
laws of change are traced by means of the differences of 
consecutive values, taken two and two, as the variables pass 
from one state of value to another. Indeed, those differ- 
ences are but the foot-steps of these laws. 

Language of the Calculus. 

26. We are now to explain the language by which the 
quantities are represented, by which their changes are indi- 
cated, and by which their laws of change are traced. 
The constant quantities which enter into the Calculus are 
represented by the first letters of the alphabet, a, I, c, etc., 
and the variables, by the final letters, x, y, z, etc. 

When two variable quantities, y and x, are connected in 
an equation, either of them may be supposed to increase or 
decrease uniformly ; such variable is called the independent 

2* 



42 INTRODUCTION TO 

variable, because the laiv of change is arbitrary, and inde- 
pendent of the form of the equation. This variable is gener- 
ally denoted by x, and called simply, the variable. Under 
this hypothesis, the change in the variable y will depend on 
the form of the equation : hence, y is called the dependent 
variable, or function. When such relations exist between y 
and x, they are expressed by an equation of the form 

y = F (x), y = f (x), or, / (x, y) = 0, 

which is read, y a function of x. The letter F, or /, is a 
mere symbol, and stands for the word function. If y is a 
function of x, that is, changes with it, x may, if we please, 
be regarded as a function of y ; hence, 

One quantity is a function of another, when the two are so 
connected that any change of value, in either, produces a cor- 
responding change in the other. 

It has been already stated (Art. 8), that the difference 
between two consecutive values of a variable quantity, is 
indicated by simply writing the letter d as a symbol, before 
the letter denoting that variable ; so that dx denotes the 
difference between two consecutive values of the variable 
quantity denoted by x, and dy the difference between the 
corresponding consecutive values of the variable quantity 
denoted by y. These are mere forms of language, express- 
ing laws of change. 

How are the changes in these variable quantities, ex- 
pressed by the infinitesimals, to be measured ? Only by tak- 
ing one of them as a standard — and finding how many times 
it is contained in the other. 

The independent variable is always supposed to increase 






DIFFERENTIAL CALCULUS. 43 

uniformly ; hence, the difference between any two of its 
consecutive values, taken at pleasure, is the same : therefore, 
this difference, w T hich does not vary in the same equation, 
or under the same law of change, affords a convenient 
standard, or unit of measure, and in the Calculus, is always 
used as such. 

The change in the function y, denoted by dy, is always 
compared with the corresponding change of the independent 
variable, denoted by dx, as a standard, or unit of measure. But 
the change in any quantity, divided by the unit of measure, 

gives the rate of change : hence, j- is the rate of change of 

the function y. This rate of change is called the differ- 
ential coefficient of y regarded as a function of x, and per- 
forms a very important part in the Calculus. The quanti- 
ties dy and dx, being both infinitesimals, are of the same 
species : hence, their quotient is an abstract number. There- 
fore, the differential coefficient is a connecting link between 
the infinitesimals and numbers. 

If any quantity whatever be divided by its unit of meas- 
ure, the quotient will be an abstract number; and if this 
quotient be multiplied by the unit of measure, the product 
will be the concrete quantity itself. Hence, if we multiply 

-~, by the unit of measure dx, we have -j- dx, which always 

denotes the difference between two consecutive values of y ; 
and therefore, is the differential of y. Hence, the differen- 
tial of a variable function is equal to the differential coeffi- 
cient multiplied by the differential of the independent variable. 

The method, therefore, of dealing with infinitesimals, is 



44 INTRODUCTION, ETC. 

precisely the same as that employed for discontinuous 
quantities. 

We assume a unit of measure which is as arbitrary as one, 
in numbers, or, as the foot, yard, or rod, in linear measure, 
and then we compare all other infinitesimals with this 
standard. We thus obtain a ratio which is an abstract 
number, and if this be multiplied by the unit of measure, 
we go back to the concrete quantity from which the ratio 
was derived. 

We have thus sketched an outline of the Infinitesimal 
Calculus. We have named the quantities about which it is 
conversant, the laws which govern their changes of value, 
and the language by which these laws are expressed. We 
have found here, as in the other branches of mathematics, 
that an arbitrary quantity, assumed as a unit of measure, 
is the base of the entire system ; and that the system itself 
is made up of the various processes employed in finding the 
ratio of this standard, to the quantities which it measures. 



DIFFEEENTIAL CALCULUS. 



SECTION 1. 

DEFINITIONS AND FIRST PRINCIPLES. 
Definitions. 

1. In the Differential Calculus, as well as in Analyt- 
ical Geometry, the quantities considered are divided into 
two classes : 

1st. Constant quantities, lohich preserve the same values 
tn the same investigation ; and, 

2d. Variable quantities, which assume all possible values 
that will satisfy any equation which expresses the relation 
between them. 

The constants are denoted by the first letters of the 
alphabet, a, b, c, &c. ; and the variables, by the final let- 
ters, x, y, s, &c. 

Uniform and varying changes. 

2. There are two ways in which a variable quantity 
may pass from one value to another. 

If the variable x, once had the particular value, x =z a, 
and afterwards assumed the value, x = a\ we can sup- 
pose: 



46 DIFFERENTIAL CALCULUS. [SEC. X, 

1st. That during the change from a to a\ x assumed, 
in succession, and by a uniform change, all the values 
between a and a\ just as a body moving uniformly over 
a given straight line passes through all the points between 
its extremities; or, 

2d. We may suppose, that during the change from a to 
a', x assumed all possible values between its limits, with- 
out the condition of a uniform change. In both cases, 
the quantity is said to be continuous. 

3. If two variable quantities, y and #, are connected 
in an equation, as, for example, 

y = x 2 + 2 ; 

then, to every value of #, arbitrarily assumed, there will 
be a corresponding value of y, dependent upon, and result- 
ing from, the value attributed to x. Thus, if we make 
x = 4, we have, 

y = 16 + 2 = 18. 
If we suppose x to increase from 4 to 5, we shall have, 

y = 25 + 2 = 27; 

thus, while x changes from 4 to 5, y changes from 18 to 27. 
If now we suppose x to increase from 5 to 6, y will 
increase from 27 to 38. Thus, while x increases uniformly 
by 1, y w T ill change its value according to a very different 
law. 

Function and variable. 

4. When two variable quantities, y and a?, are con- 
nected in an equation, either of them may be supposed 



SEC. I.] FIRST PRINCIPLES. 47 

to increase or decrease uniformly; a variable, so changing, 
is called the independent variable, because the law of 
change is arbitrary, and independent of the form of equa- 
tion. This variable is generally denoted by x, and called 
simply, the variable. The change in the variable y, de- 
pends on the form of the equation ; hence, y is called 
the dependent variable, or function. "When such a rela- 
tion exists between y and ar, it is expressed by an equa- 
tion of the form, 

y = F(x), y = f(x) ; or, f(y, x) = ; 

which is read, y a function of #. The letter F, or /, 
is a mere symbol, and stands for the word, function. If 
y is a function of x, that is, changes with it, x is also 
a function of y; hence, 

One quantity is a function of another, when the two 
are so connected that any change of value, in either, pro- 
duces a corresponding change in the other. 

5. If the equation connecting y and x, is of such, a 
form that y occurs cdone, in the first member, y is called 
an explicit function of x. Thus, in the equations, 

y = ax + b of a straight line, 

y = ^/B? — x 2 .... of the circle, 
B 



y = -r ydT 2 — x 2 . . . of the ellipse, 

y = <\/2px of the parabola, and 

y = —. y^T_ A 2 ... of the hyperbola, 

y is an explicit function of x. 



48 DIFFERENTIAL CALCULUS. [SEC. L 

But, if the equations are written under the forms, 



y — ax — b — 0; 


or, 


A*, y) = °> 


y 2 + x 2 — B 2 = 0; 


or, 


A*>y) = °> 


A 2 y 2 + B 2 x 2 - A 2 B 2 = ; 


or, 


A*>y) = o, 


y 2 — 2px = ; 


or, 


/(*, y) = o, 


A 2 y 2 - B 2 x 2 + A 2 B 2 = ; 


or, 


f(x, y) - 0, 



y is called an implicit function of x\ the nature of the 
relation between y and x being implied, but not developed 
in the equation. 

6. It is plain, that in each of the above equations 
the absolute value of y, for any given value of cc, will 
depend on the constants which enter into the equation; 
this relation is expressed, by calling y an arbitrary function 
of the constants on which it depends. Thus, in the equa- 
tion of the straight line, y is an arbitrary function of a 
and b ; in the equation of the circle, y is an arbitrary 
function of H ; in the equation of the ellipse, of A and 
B ; in the equation of the parabola, of 2p ; and in the 
equation of the hyperbola, of A and B. 

7. An increasing function is one which increases when 
the variable increases, and decreases when the variable 
decreases. A decreasing function is one which decreases 
when the variable increases, and increases when the variable 
decreases. 

In the equation of a straight line, in which a is posi- 
tive, y is an increasing function of x. In the equations 
of the circle and ellipse, y is a decreasing function of x. 
In the equation of the parabola, y is an increasing func- 
tion of x. In the equation of the hyperbola, y is imaginary 



SEC. I.] FIRST PRINCIPLES. 49 

for all values of x < A, and an increasing function for 
all positive values of x > A. 

8. A quantity may be a function of two or more vari- 
ables. If 

u = ax + by 2 , or u •=. ax 2 — by 3 + cz + d, 

u will be a function of x and y, in the first equation, 
and of Xj y, and 2, in the second. These expressions may 
be thus written: 

If, in the second equation, we make, in succession, the 
independent variables x, y, and s, respectively equal to 
0, we have, 

for, 35=0, uz=z —by 3 + cz+d=f(y,z),. 

for, x—0, and y = 0, ic = cz + d =f( z ) > an< 3? 

for, a?=0, y=0, and 2=0, u — d = a constant. 

Algebraic and Transcendental Functions. 

9. There are two general classes of functions r. 
Algebraic and Transcendental. 

Algebraic functions are those in which the relation be 
tween the function and the variable can be expressed in 
the language of Algebra alone : that is, by addition, sub- 
traction, multiplication, division, the formation of powers 
denoted by constant exponents, and the extraction of roots 
indicated by constant indices. 

Transcendental functions are those in which the relation 
between the function and variable cannot be expressed in 
the language of Algebra alone. There are three kinds : 



50 



DIFFERENTIAL CALCULUS. 



[SEC. £ 



1. Exponential functions, in which the variable enters as 

an exponent ; as, 

u =z a x . 

2. Logarithmic functions, which involve the logarithm 

of the variable ; as, 

u = logo;. 

3. Circular functions, which involve the arc of a circle, 
or some function of the arc; as, 



u = sm #, u = cos #, 



u z=l tana;. 



Geometrical representation of Functions. 

10. "With the aid of Analytical Geometry, it is easy to 
trace, geometrically, the numerical relation between any 
function and its independent variable. 

Suppose we have given the equation, 

V = A®)- 

If we attribute to #, the independent variable, in succes» 
sion, every value between — co and + oo, each will give 
a corresponding value for y, which may be determined 
from the equation, y = f(x) 

Let be the origin of a 
system of rectangular co-or- 
dinates. From (9, lay off to 
the right, all the positive 
values of #, and to the left all 
the negative values. Through 
the extremity of each abscissa, 
so determined, draw a line 
parallel to the axis of ordinates, 
and equal to the corresponding value of y\ the plus values 




SEC. I.] 



FIRST PRINCIPLES. 



51 



will fall above the axis of .X, and the negative values below 
it; then trace a curve, AMN, through the extremities of 
these ordinates. The co-ordinates of this curve will indicate 
every relation between y and cc, expressed by the equation, 

V = /(»)• 
This curve should present to the mind, not merely any 
particular value of #, and the corresponding value of y y 
but the entire series of corresponding values of these two 
variables. 

Quantities infinitely small — Differentials. 

II. A quantity is infinitely small, when it cannot be 
diminished, according to the law 
of change, without becoming 0. 

If, in the equation of the curve, 



V =f{ x ) 



(10 




x has a particular value <9P, y 
will denote the ordinate PM. 

If x be increased by PQ, de- 
noted by A, P3f will change to 
QN", which we will denote by y' \ and we shall have, 

y' =/(« + h) (2.) 

If we subtract equation (1) from (2), we obtain, 

y>-y=f(x + h)-f(x) .... (3.) 

It is evident that each member of this equation will reduce 
to 0, when we make h = 0. 



52 



DIFFEEEHTIAL CALCULUS. 



y 




T 
R 


^A 






^^ 


(7 






B 


p o, x 



Let us suppose, as before, that the abscis a; has increased from 
OP Xo OQ, and that the cor- 
responding ordinate y, has be- 
come y r . Draw through the 
points JV and ill/", the secant 
line iV2K If, now, we suppose 
the point JV to approach M, 
till it becomes consecutive with 
it, then, 

1. The secant line will become the tangent SMT\ 

2. The abscissas OP and OQ will become consecutive; 

3. The ordinates PM, QN] will also be consecutive. 

The differential of a quantity is the difference between 
any two of its consecutive values; hence, it is indefinitely small. 

The differential is expressed, by writing d before the 
letter denoting the quantity : thus, dx denotes the differen- 
tial of », and is read, differential of x : dy denotes the 
differential of y, and is read, differential of y. 

It is plain, that dx denotes the last value of A, in Equa- 
tion (3), before it becomes 0; and that dy denotes the last 
difference between y ! and y, as h approaches to 0. 



Differential Coefficient. 

12. Under the preceding hypotheses, the differentials of 
x and y admit of geometrical interpretations. 

If we divide both members of Equation (3) by A, we have, 

y'-y = A* + h)-M 

h h 



(4) 



Having drawn MR parallel to the axis of abscissas, KM 
will denote the difference of the two ordinates y f and y; 
hence, the first, and consequently the second member of 
Equation (4), will denote the tangent of the angle KMR, 



SEC. I.] FIEST PKINCIPLES, 53 

which the secant line makes with the axis of JT. Denote 
the angle which the tangent makes with the axis of X by a. 
When the ordinates y' and y become consecutive, the 
secant NM becomes tangent to the curve at the point M, 
and the angle NMM becomes equal to TSP ; -and we have, 

— = tan a (5.) 

dx 

dy 
The term -^, is called the differential coefficient of y, 

regarded as a Section of x\ hence, 

The differential coefficient of a function is the differen- 
tial of the function divided by the differential of the 
independent variable. 

If we multiply both members of Equation (5) by cfe, 

-¥-dx = tan a dx; 
dx 

but the tan a multiplied by the base dx, of the indefinitely 
small triangle, is equal to the perpendicular, which is the 
difference between the consecutive values of y' and y, de 
noted by dy\ therefore, 

€ -¥dx = dy; hence, 
dx 

The differential of a function is equal to its differential 
coefficient multiplied by the differential of the variable. 



Limiting Ratio. 
13. Let us now resume the consideration of Equation (4), 

y f - v _ /(* + h) -f[x) m 

h " h v "' 

The first member of this equation is the ratio of the 
increment A, of the independent variable, to the correspond 



54 DIFFERENTIAL CALCULUS. [SEC. I. 

ing increment of the function, and denotes the tangent of 
the angle which the secant line, drawn through the ex- 
tremities of y and y\ makes with the axis of abscissas. 

If we suppose h to decrease, the secant line will ap- 
proach the tangent, and the ratio will approach the tangent 
of the angle which the tangent line makes with the axis 01 
-3T. The tan a, is, therefore, the limit of this ratio, and 
since it is also the differential coefficient, it follows that, 

TJie differential coefficient is the limit of the ratio of the 
increment of the independent variable to the increment of 
the function. 

A varying ratio, of any increment of the independent 
variable denoted by A, to the corresponding increment of 
the function, denoted by y' — y, reaches its limit when h 
reaches its last value; and then, the values of y' and y 
become consecutive; therefore, the limiting ratio, is the 
ratio of consecutive values. Hence, if we have an expres- 
sion for the ratio of the increments, we pass to the limiting 
ratio, or differential coefficient, by making h indefinitely 
small. 

Form of the difference between two states of a function. 
1/t. Let us resume the discussion of Equation (3). 

If h be made equal to 0, the first and second members 
will each reduce to 0. Therefore, if the second member be 
developed, and the like terms having contrary signs can- 
celled, each of the remaining terms will contain h ; else, all 
the terms would not reduce to 0, when h — 0. Hence, the 
second member of Equation (3) is divisible by h. Dividing 
by 7z, we have, 

y'-y __ Ax + h )-f x u ) 

h h ■' 



BEC. I.] FIRST PKINCIPLES, 55 

If, now, we pass to the limiting ratio, by making h in- 
definitely small, the second member will become the tan #, 
a quantity independent of h (see Equation 5); hence, the 
first term in the development of the second member of 
Equation (3) contains h only in the first power, and the 
coefficient of this term is tan a, or the differential co- 
efficient. Since all the other terms become 0, when h = 0, 
each of them must contain A to a higher power than the 
first. 

If we designate by P, the differential coefficient of y, and 
by P' such a value that P'A 2 shall be equal to all the 
terms of the development of the second member of Equation 
(3), after the first, that equation may be written under the 
form 

y r -y = Ph + P f V .... (6.) 

The differential coefficient, P, is independent of A, but 
will, in general, contain x; and when it does, it is a func- 
tion of that variable : JP', when not equal to 0, is a function 
of x and A. 

Applications of the Formula. 
1. If we have an expression of the form, 

y =A x ) = ax > 

we have the form or development of the second mem 
ber. 

If we give to x an increment A, we have, 

y' =f{x + A) = a(x + A) = ax +ah; hence, 
y' - y =f(x + A) -f{x) = ah; and 

^ — — ^ = a ; passing to consecutive values, 
h 

-¥. = a; and C -^-dx = adx. 
dx dx 



56 DIFFERENTIAL CALCULUS. [SEC. L 

2. If we have a function of the form, 

we again have the form or development of the second 
member. 

y ( =f( x + h) = a(x + h) 3 = ax 3 + 3ax 2 h + Saxh 2 + ah 3 

y' - y =f(x + h) -J{x) = Sax 2 h + 3az/i 2 + ah 3 

tf ~ y = 3ax 2 + Saxh + ah 2 ; 
h 

passing to consecutive values, we have, 

%L = 3oaj a ; and 5§?<fe == 3az 2 <fo. 

In the first example P = a, and jP' = 0. In the 
second, JP = 3a# 2 , and P' = 3a#A + aA 2 . 

15. Equation (6) affords the means of determining the 
differential coefficient, and the differential of any function, 
whose form is developed in terms of the independent 
variable. 

If we divide both members of Equation (6) by the in- 
crement A, and then pass to the limiting ratio, we have the 
differential coefficient. If we then multiply the differential 
coefficient by the differential of the independent variable, 
we have the differential of the function. 

Equal functions have equal differentials 

16. If two functions, %t and v, dependent on the same 
variable #, are equal to each other, for all possible values 
of #, their differentials will also be equal. 



SEC. I.] FIRST PRINCIPLES. 57 

For, x being the independent variable, we have (Art. 14), 

u ' _ u = Ph. + P'h\ 

v' — v = Qh+ Q'h\ 

in which JP is the differential coefficient of u, regarded 
as a function of », and Q the differential coefficient of 
Vj regarded as a function of x. 

But, since u f and v r are, by hypothesis, equal to each 
other, as well as u and v, we have, 

JPh + P'h? = Qh + Q'h\ 

or, by dividing by h and passing to consecutive values, 

p= Q, 

, du dv 

hence ' s = S' 

n du 7 dv ., 

and, — c&c = — ace, 

o& dec 

that is, the differential of ?4 is equal to the differentia] 
of v. 

Converse not true. 

17. The converse of this proposition is not generally 
true ; that is, 

If two differentials are equal to each other, we are not 
at liberty to conclude that the functions from which they 
were derived, are also equal. 

For, let u =1 v ± A (1.) 

in which A is a constant, and u and v both functions 
of x. Giving to x an increment A, we shall nave, 

u f = v' ± A, 



58 DIFFERENTIAL CALCULUS. [SEC. I. 

from which subtract Equation (1), and we obtain, 

u' — u = v f — v, 
and, by substituting for the difference between the two 
states of the function, we have, 

Ph + P'A 2 = Qh + Q r h\ 

Dividing by A, and passing to consecutive values ; we 

obtain, 

r> ^ ^ 4. - die dv 
P = «i thatxs, ^ = ^5 

, du y dv 7 _ , 

hence, — - cfe = — o# ; or, cm = dv. 

dx dx 

Hence, the differentials of u and v are equal to each other, 
although v may be greater or less than u, by any constant 
quantity A ; therefore, 

Every constant quantity connected with a variable by 
the sign plus or minus, will disappear in the differen- 
tiation. 

The reason of this is apparent ; for, a constant does not 
increase or decrease with the variable; hence, there is no 
ultimate or last difference between two of its values; and 
this ultimate or last difference is the differential of a 
variable function. Hence, the differential of a constant 
quantity is equal to 0. 

1§. If we have a function of the form, 

u = Av, 

in which u and v are both functions of #, and give to 
x an increment A, we shall have, 

u f — u = A(v' — v), 
or, Ph + Fh? = A(Qh + Q'h*). 



SEC. I.J FIRST PRINCIPLES. 59 

Dividing by A, and passing to the consecutive values, 

P = AQ, 

or, Pdx = A Qdx. 

But, du = Pdx, and dv = Qdx ; 

hence, die = Adv ; that is, 

TJie differential of the product of a constant by a 
variable quantity, is equal to the constant multiplied by 
the differential of the variable. 

Signs of the differential coefficient* 

19. If u is any function of x, and vre give to x an 
increment h, we have, 

-F = ' + «; 

and since h is positive, the sign of the first member "will 
be positive when u < u f ; that is, when u is an increasing 
function of x (Art. 7). It will be negative when u > u' \ 
that is, when u is a decreasing function of x. Passing 
to consecutive values, we have, under the first supposition, 

— = — P, under the second; hence, 

7%e differential coefficients have the same sign as the 
functions, when the functions are increasing, and con- 
trary signs, when they are decreasing. 

If we multiply by dx, we obtain the differentials, which 
have the same signs as the differential coefficients. 



CO DIFFEEENTIAL CALCULUS. [SEC. I. 

Nature of a differential coefficient, and of a differential. 

20. The method of treating the Differential Calculus, 
adopted in this treatise, is based on three hypotheses: 

1st. That the independent variable changes uniformly: 
2d. That in changing from one state of value to 
another, it passes through all the intermediate values; and, 
3d. That any function dependent upon it, undergoes 
changes determined by the equation expressing the rela- 
tions between them ; and that such equation preserves the 
same general form. 

If the independent variable changes uniformly, and as- 
sumes all possible values between the limits x = a, and 
x = a\ we have seen that the change cannot be denoted 
by a number. If, then, we denote this change by efo, we 
mean that dx is smaller than any number y hence, 

1 

dx 

Ti , i ax ax ax n 

dx dx 2 dx 3 dx A 

that is, any power of dx divided by a power of dx 
greater by 1, is infinite; hence, any power of dx is infin- 
itely small, compared with the power next less. Hence, it 
follows : 

1st. That the addition of dx to any number, can make 
no alteration in its value ; and therefore, when connected 
w T ith a numeral quantity by the sign ± , may be omitted 
without error ; thus, 

3ax + dx = 3ax. 



SEC. I.] FIRST PRINCIPLES. 61 

2d. Since dx 2 is infinitely small, compared with dx ; that 
is, infinitely less than dx, we have, 

5ax 2 dx + dx 2 == 5ax 2 dx; 

and similarly for the higher powers of dx: 

The quantities, dx, dx 2 , dx 3 , &c, are called infinitely 
small quantities, or iotesttesimals of the first, second, and 
third orders : from their law of formation, it follows that, 

Every infinitely small quantity may be omitted without 
error when connected by the sign ± with any of a lower 
order. 

Rate of change. 

21. The measure of a quantity, great or small, is the 
number of times which it contains some other quantity 
of the same kind, regarded as a unit of measure. 

In the Differential Calculus, dx, the differential of the 

independent variable, is the unit of measure. The rate of 

du 
change, in the function y, is therefore expressed by ~ , 

and the actual change corresponding to dx, by 
-jf-dx = dy. 

22. The equation of a straight line is, 

y = ax + b. 

If we take any point, as M, whose co-ordinates are y 
and x, and a second point JVJ whose co-ordinates are y\ 
x + h, and we have, 

y'-y = ah\ or, V ~ V = a . . (1.) 



DIFFERENTIAL CALCULUS. 



62 
that is, 

-jjr~ = tangent NMJR = a ; 

and, passing to the consecutive 

values, 

dy 



[sec. i. 




dx 



= tangent a = a 



dy 



(2.) 



The differential coefficient ■—■ , measures the rate of 

increase of the ordinate y, when cc receives the incre- 
ment dx\ and since this value is independent of #, the 
rate mil be the same for every point of the line ; that 
is, the rate of ascension of the line from the axis of 
abscissas, is the same at every point. And since, 

dy 



dx 



dx = dy = adx, 



the change in the value of the ordinate will be uniform^ 
for uniform changes in the abscissa. 

23. Let us examine an 
equation, 

y =f{x) . . (1.) 

not of the first degree. 

Let us suppose the curve 
AMN to be such that the 
abscissas and ordinates of its 
different points shall correspond 
to all possible relations between y and #, in Equation ( 1 ). 

We have seen (Art. 13) that, 

— = tan TSP = tan a ; hence, 




SEC. I.] FIRST PRINCIPLES. G3 

the rate of increase of the function, or the ascension of 
the curve at any point, is equal to the tangent of the 
angle which the tangent line makes with the axis of ab- 
scissas. We also see, that this value of the tangent of 
a, will vary with the position of the point M; hence it 
s a function of x; therefore, 

In every equation, not of the first degree, the differ- 
ential coefficient is a function of the independent variable. 

1. "We have seen, that when the points 31 and N are 
consecutive, the secant line, MJSF, becomes the tangent 
line, TMS (Art. 13). The line ME is then denoted by 
dx, and HJV or ET, (for the points iV" and T then coin- 
cide), by dy. If we give to the new abscissa, x + dx, 
an additional increment dx, and suppose the correspond- 
ing ordinate, y + dy, to receive the same increment as 
before, viz. : dy, the extremity of the last ordinate will 
not fall on the curve, but on the tangent line, since the 
triangles thus formed are similar; hence, 

If a function be supposed to increase uniformly from 
any assumed value, the differential coefficient will be 
constant, and equal to any increment of the function 
divided by the corresponding increment of the variable. 

Nature of the Differential Calculus. 

24. In every operation of the Differential Calculus, one 
of two things is always proposed, and sometimes both : 



64 DIFFERENTIAL CALCULUS. [SEC. L 

1st. To find the rate of change in any variable func- 
tion when it begins to change from any assigned value. 

2d. To find the difference between any two consecutive 
values of the function. This difference is the actual 
change in the function, produced by the smallest change 
which takes place in the independent variable. 

The use of the independent variable is to furnish a unit 
of measure for the increment of the function, and thus to 
determine its rate of change, as it passes through all its 
states of value. This ratio can generally be expressed in 
numbers, either exactly or approximatively. 

25. The increment of the function, corresponding to 
the smallest increment of the variable, being the difference 
between any two of its consecutive values, is a quantity of 
the same kind as the function, and differs from it only in 
this : that it is too small to be expressed^ by numbers. The 
differential of a quantity, therefore, is merely an element 
of that quantity ; that is, it is the change which takes place 
when the quantity begins to increase or decrease, from 
any assumed value. When we find this element, we have 
the differential of the function ; and by dividing by dx, 
we have the differential coefficient. Hence, 

All the operations of the Differential Calculus comprise 
but two objects : 

1. To find the rate of change in a function, when it 
passes from one state of value to another, consecutive 
with it. 

2. To find the actual change in the function. 

The rate of change is the differential coefficient, and the 
actual change, the differential. 



SECTION II. 

DIFFERENTIALS OF ALGEBRAIC FUNCTIONS. 
Differential of sum or difference of Functions. 

26. Let w be a function of the algebraic sum of 
several variable quantities, of the form, 

u = y + z — w = J\x), 

in which y, z, and w, are functions of the independent 
variable cc. 

If we give to x an increment A, we shall have, 

u f — u = (y' — y) + (z f — z) — (w' — w) ; 

hence (Art. 14), 

W ' _ u = (PA + PA 2 ) + (£A + §'A 2 ) - (ZA + Z'A 2 ), 

or, U -=^ = (P + P'A) + (6 + G'*) - (Z + £'*), 

and by passing to consecutive values, 

multiplying both members by dx, we have, 

^tfs = Pdx + §^ - Ztfc. 
dx 

But as P, (>, and Z, are the differential coefficients 



06 DIFFERENTIAL CALCULUS. [SEC. II. 

of t y, z, and w, each regarded as a function of x\ hence, 

** = 4* + 4*.r.i*i that is, 
dx ax ax ax 

The differential of the sum or difference of any number 
of functions, dependent on the same variable, is equal to 
the sum or difference of their differentials taken separately 

Differential of a product. 

27. Let u and v denote any two functions, x tho 
independent variable, and h its increment ; we shall then 
have, 

u f = u + Ph + P'h\ and 

v[ = v + Qh + Q'h\ 

and, multiplying, 

iiV = (u + Ph + P'A 2 ) (v + Qh + Q'h?) 
= uv + vPh + uQh + PQh 2 + &c. ; 
hence, 

-T- = vP + u Q + terms containing h, h 2 , and A 3 . 

If now we pass to consecutive values, we have, 

therefore, d(uv) = vPdx + u Qdx = vdu + udv ; hence, 

The differential of the product of two functions de- 
pendent on the same variable, is equal to the sum of 
the products obtained by multiplying each by the differ* 
ential of the other. 



SEC. H.] DIFFERENTIALS OF FUNCTIONS. 67 

1. If we divide by uv, we have, 

d(uv) du dv f ^ x 
= 1 ( 1.) 

UV U V - 

that is, 

Tlie differential of the product of two functions, divided 
by the product, is equal to the sum of the quotients 
obtained by dividing the differential of each by its 
function. 

28. "We can easily determine, from the last formula, 
the differential of the product of any number of functions. 
For, put v = ts, then, 

dv d(ts) dt ds f 

7 = ~Ts~ = 7 + 7 * ' ' * (2 ° 

and by substituting ts for v, in Equation ( 1 ), we have, 

djuts) du dt ds # 
uts u t s 9 

and in a similar manner we should find, 

d(utsr. . . .) du dt ds dr . 

— -f- — - + + • • • . 4X7C. 

utsr .... u t s r 

If, in the equation, 

d(uts) du dt ds 
uts u t s ' 

we multiply by the denominator of the first member, we 
shall have, 

d{uts) = tsdu + usdt + utds; hence, 

The differential of the product of any number of fune 
tions, is equal to the sum of the products which arise 



68 DIFFERENTIAL CALCULUS. [SEC. IL 

by multiplying the differential of each function by the 
product of ail the others. 



Differentials of Fractions. 

29. To obtain the differential of any fraction of the 

form. - • 
^ v 

u 
Put, - = t , then, u = tv. 

v 

Differentiating both members, we have, 

du = vdt + tdv\ 

finding the value of dt, and substituting for t its value 





we 


obtain, 




dt 


du 

V 


udv 


or, 


by 


reducing 


to 


a 


common denominator, 








dt 




vdu — 


udv . 
: hence. 



The differential of a fraction is equal to the denom- 
inator into the differential of the numerator, minus 
the numerator into the differential of the denominator, 
divided by the square of the denominator. 

1. If the denominator is constant, dv = 0, and we 
have, 

_ vdu du 



SEC. H.J DIFFERENTIALS OF FUNCTIONS. 69 

2. If the numerator is constant, du = 0, and we have, 

- udv 
eft = r ; 

v 2 

and under this supposition, t is a decreasing function of 
v (Art. 7) ; hence, its differential coefficient should be 
negative (Art. 19). 

Differentials of Powers. 

29.* To find the differential of any power of a function. 
First, take any function w n , in which n is a positive whole 
number. This function may be considered as composed 
of n factors, each equal to u. Hence (Art. 27), 

d(u n ) d(uuuu . . . .) du du du du 



u n (uuuu . . . .) " u u u u 



But as there are n equal factors in the numerator of the 
first member, there will be n equal terms in the second; 

d(u n ) ndu 

hence, „ = : 

u n u 

therefore, d(u n ) = nu n " 1 du. 

T 

1. If n is fractional, denote it by — , and make, 

s 

r 

v =. u s , whence, v' = u r ; 

and since r and s are entire numbers, we shall have, 

sv 8 " 1 dv = ru r ~ l du; 
from which we find, 

ru r ~ l T rw r " J , 

dv = — 7—rdu = 



su* 



70 DIFFERENTIAL CALCULUS. [SEC. II. 

or, by reducing, 

r --i 
dv = -u* du\ 

s 

which is obtained directly from the function, 
d(u n ) = nu n ~ l du y 

T 

by changing the exponent n to - • 

s 

2. If the fractional exponent is one-half, the function 
becomes a radical of the second degree. We will give 
a specific rule for this class of functions. 

Let v = u 2 , or, v = \/u; 

then, dv = -u 2 du = ~-u * du = _, ; 

2 2 2 y^ 

that is, 

The differential of a radical of the second degree, is 
equal to the differential of the quantity under the sign 
divided by twice the radical. 

3. Finally, if n is negative, we shall have, 

1 
u-" = — , 
u n * 

from which we have (Art. 29), 

and, by reducing, 

<?(«-") = — n«-" _1 &; hence, 



SEC. H.] DIFFERENTIALS OF FUNCTIONS. 71 

The differential of any power of a function, is equal 
to the exponent multiplied by the function raised to a 
power less one, multiplied by the differential of the func- 
tion. 

Formulas for differentiating Algebraic Functions. 

1. d(a) = • . . . (Art. 17.) 

2. d(ax) = adx , . . (Art. 18.) 

3. d(x -f- y) = dx + dy (Art. 26.) 

4. d(x — y) = dx — dy (Art. 26.) 

5. d(xy) = xdy + ydx (Art. 27.) 

6. <*(?) = fci* (Art.*,) 

1. d(x m ) = mx m " 1 dx (Art. 30.) 

dx 

8. d(i/x) = ^g (Art. 30—2.) 

r f* r 

9. d(x~i) = x—i~ l dx . . . (Art. 30 — 3.) 

s 

EXAMPLES. 

Find the differentials of the following functions: 

1. u == ax — y. du = adx — t?y. 

2. w = a 2 sc 2 + 2. <?w = 2a*xdx + cfe. 

3. w = to 2 — y 3 + a. du = 2Sa%fc — 3y 2 e?y. 

4. w = aa 2 — &c 3 + a. <7w = (2aa — 3bx 2 -f 1)dx. 

5. u =z cy 2 — x 2 + ay 2 . du == 2[(c + «)y% — xdx.] 



72 DIFFERENTIAL CALCULUS. [SEC. II. 

6. u = ays. e?w = yzdx + xzdy + xydz. 

7. u = y 2 — a 2 — 8as 5 . dfw = 2(ydy — 20az 4 efe.) 

8. u = 3a 5 sc n . c?w = 3na 5 x n ~ l dx. 

9. w = — 2aar 5 - 5 + 4JV. du = 2^ + 6& 2 a 2 ]<fc. 

10. w = 5X 5 — 2ay — ft 2 , dfw = 25x*dx — 2ac?y. 

11. w = x n — a 3 + 46. du = (rac*- 1 — 3<c 2 )da. 

12. w = aa(a 2 + 35). du = 3a(a 2 + b)dx. 

13. w = (x 2 + a) (x — a). du = (3a 2 — 2aa + a)efo. 

14. w = x 2 y 2 z 3 . du = 2xy 2 z 3 dx + 2x 2 z 3 ydy + Sx 2 y 2 z 2 dz. 

15. w = «cc 2 (a 3 + a). <?w = ax(5x 3 + 2a)dx. 

, ydx — xdv 

du = * «. 



16. 


u 


z= 


05 


17. 


u 


= 


a 


b - 2y 2 


18. 


u 


= 


1^ 

x 


19. 


u 


== 


.-• = i. 



C?W = 



(J - 2y 2 ) 2 
— die 



, — ndx 

du = —?. 

20. Find the differential of w in the equation, 
w = ya 2 — a 2 . 
Pat, a 2 — x 2 = y ; then, w = -^/y ; and (Art. 30 — 2), 

du = — ^=. 

2Vy 



SEC. H.] DIFFERENTIALS OF FUNCTIONS. 73 

But, dy = — 2xdx\ then, substituting for y and dy 9 
their values, we have, 

— 2xdx — xdx 





2-/a 2 - 


a 2 


y^a 2 — a 2 


21. 


• 
w = -/2aaj + x 2 




, (a + x)dx 

du -. — 

y2ax + x 2 


22. 


1 




_ xdx 


<y/\ — a 2 


(1 - x 2 f 


23. 


a 


dfo = 


dx 


i* — . 

cc + y 1 — a 2 


i/l-x 2 (x+^l—x 2 y 


24. 


u = (a + V^) 3# 




An = z(a+Vx) 2 dx 
2t/x 


25. 


a 2 - a 2 






a 4 + a 2 a 2 + a 4 





(a*+a 2 x 2 +x*)d(a 2 -x 2 ) - (a 2 -x 2 )d(a*+a 2 x 2 +x*) 
dU ~ {a*+a 2 x 2 +x*) 2 j» 

— 2x(2a 4 < + 2a 2 x 2 — x*)dx 

or, du = r v — — ■ ri — i — x 

(a 4 -f a 2 a 2 + a 4 ) 2 

26. w = ^/a 2 + a 2 X -\/S 2 + 2/ 2 - 

(6 2 + y 2 )a xfo + (a 2 + 3 2 )yc?y 

wM — -= ~. — = • 

y a 2 + cc 2 y b 2 + y 2 

a* _ nx 1t " 1 dx 

27. w = 7-— - — r-« aw = 



(1 + x)* (1 + a) n+1 

1 + « 2 _ 4ccdfe 

28. u = r- du == y- -r-. 

1 — a 2 (1 — a 2 ) 2 



74 DIFFEKENTIAL CALCULUS. [SEC. n. 

29 u = a L±l. du .. 8(<fa + «?y) - (« + y)3cfe 

S 3 S5 4 



30. u = ^ r +^+ VJZJ- 
yT~+ a; — -v/T~— a; 



du = — 



(1 + yl - 32)^ 
a?yTTT^ 



Differential of a particular binomiaL 
30.— 1. Let u = (a + &c n ) m . 
Put a + foc n -= y ; then, w = y m ; and (Art. 30), 

du = my m ~ l dy. 
But, from the first equation, 

dy = wfoc 71 - * cfo; ; 
substituting for y and c?y their values, we have, 
du = mnb{a + &c n ) m - 1 # n - 1 e?aj; 

that is, to find the differential of a binominal ^unction 
of this form, 

Multiply the exponent of the parenthesis, into the ex- 
ponent of the variable within the parenthesis, into the co- 
efficient of the variable, into the binomial raised to a 
power less 1, into the variable within the parenthesis 
raised to a power less 1, into the differential of the va- 
riable. 

Rate of change of the Function. 

31. What is the rate of change in the area of a square, 
when the side is denoted by the independent variable? 
We have seen (Art. 2l) that the differential coefficient, 

— , denotes the rate of change in the function w, cor- 
dx 1 



SEC. II.] DIFFERENTIALS OF FUNCTIONS. 75 

responding to tie change dx, in the value of x\ and thai 
in all equations, except those of the first degree, this rate 
will be variable, and a function of x (Art. 23). 

Let x denote the side of a square, and u its area ; th^n, 

u = a; 2 , and — = 2x; 
dx 

hence, the rate of change in the area of a square is equal 
to twice its side ; that is, if the side of a square is denoted 
by 1, the rate of change in the area will be denoted by 2; 
if the edge is denoted by 5, the rate of change will be 10; 
and similarly for other numbers. 

2. What is the rate of change in the volume of a cube, 
when its edge is the independent variable? 

Let x denote the edge of a cube, and u its volume ; 
then, 

u = x*, and — = 3a; 2 ; 
dx 

hence, the rate of change in the volume, is three times 
the square of its edge. If the edge is denoted by 1, the 
rate of change in the volume will be denoted by 3 ; if the 
edge is denoted by 2, the rate of change will be 12; if 3, 
the rate will be 27 ; and similarly, when the edge is denoted 
by other numbers. 

Find the rates of change in the following functions : 

3. u = Sx 4 — Sx 2 — 5x + a. A. 32s 3 — 6x — 5. 
What will express the rate for 

3=1, x =2, x =3? 

4. u = (z 3 + a) (3s 2 + b). A. I5ar 4 + 3x 2 b + 6aa; 

Find the rate for, 

x = 1, x = 2. 



76 DIFFERENTIAL CALCULUS. [SEC. H. 

What is the rate for, a; = 0, x = 4, a; = — 1 * 
6. ^ = (az + a; 2 ) 2 . <4. 2(ax + x 2 ) (a + 2.x). 

What is the rate for, a: = 0, 8=1, a; = 3 ? 

a; 1 

What is the rate for, x = 0, a; = 1 ? 

Hence, to find the rate of change for a given value of 
the variable : Find the differential coefficient, and substi- 
tute the value of the variable in the second member of the 
equation. 

Partial Differentials. 
32. If we have a function of the form, 

u = fWy) (!•) 

the equation denotes that w is a function of the two 
variables, x and y. If we suppose either of these, as y, 
to remain constant, and x to vary, we shall have, 

£ = n*>v) <*•> 

if we suppose x to remain constant, and y to vary, we 
shall have, 

$=•>"'<**> <»•> 

The differential coefficients which are obtained under 
these suppositions, are called partial differential coefficients. 



SEC. H.] DIFFERENTIALS OF FUNCTIONS. 77 

The first is the partial differential coefficient with respect 
to sc, and the second with respect to y. 

33. If we multiply both members of Equation ( 2 ) 
by dx, and both members of Equation (3) by dy, we 
obtain, 

-£ dx = /'(«, y)dx, and ^ dy = /"(«, 2/)<7y. 



The expressions, 



du y du _ 



are called, partial differentials; the first a partial differ- 
ential with respect to cc, and the second a partial differ- 
ential with respect to y\ hence, 

A partial differential coefficient is the differential 
coefficient of a function of two or more variables, under 
the supposition that only one of them has changed its 
value; and, 

A partial differential is the differential of a func- 
tion of two or more variables, under the supposition that 
only one of them has changed its value. 

If we suppose both the variables to undergo a change 
at the same time, the corresponding change which takes 
place in u, is called, the total differential. If we extend 
this definition to any number of variables, and assume 
what may be rigorously proved, viz. : 

That the total differential of a function of any number 
of variables is equal to the sum of the partial differ- 
entials. 



78 DIFFERENTIAL CALCULUS. [SEC. H. 

we have a general formula applicable to every func- 
tion of two or more variables. 

EXAMPLES. 

1. Let u = x 2 + y 3 — z ; then, 

— dx = 2#cfo, 1st partial differential , 

vJX 



(4 



U 



•7?/ * 

^<ty = sy'tfy, 2d « 

— ds = — dz 9 3d " 
as 

hence, du = 2<c<£c + 3y 2 dy — cfe. 



2. Let u = xy; then, 

hence, efa = ycfo + xdy. 

3. Let w = x m y n ; then, 

_- c?ic = mx m - 1 y n c?x, 

— dy = ny n - 1 x m dy; hence, 
cCy 

du == mxP- l y n dx + ny n - l x^dy = af | - 1 y n - 1 (myd r « + nxdy), 



SEC. II.] DIFFERENTIALS OF FUNCTIONS. 79 

4. Let u = -; then, 



dx 


zzz 


dx 

y' 


du T 


— 


xdy u 


c?w 


= 


ycfo — ady 


y 2 



hence, 



5. Let w = •= = ay(# 2 + y 2 ) * ; then, 

V a 2 + 2/ 2 

du , ayxdx 

* (* 2 + yr 

du _ ad!y #y 2 dy 

7ju. d y — I " F> 

y (x 2 + y 2 ) 2 (* 2 + y 2 ) 2 

f , ayxdx — ax 2 dy 
hence, cm = 3 — • 

(a? + y 2 )* 



6. Let u = seyz£; then, 

e?w = yztdx + asrtdy + xytdz + xyzdU 



SECTION III. 

INTEGRATION AND APPLICATIONS. 

34. An Integral is a functional expression, either al- 
gebraic or transcendental, derived from a differential. 

Differentiation and Integration are terms denoting 
operations the exact converse of each other. 

Differentiation is the operation of finding the differ- 
ential function from the primitive function. 

Integration is the operation of finding the primitive 
function from the differential function. 

Rules have been found for the differentiation of every 
form which a function can assume. Hence, in the Differ- 
ential Calculus, no case can occur to which a known rule 
is not applicable. In the Integral Calculus it is quite 
otherwise. 

In returning from a known differential to the integral 
from which it may have been derived, we compare the 
differential expression with other expressions which are 
known to be differentials of given functions, and thus 
arrive at the form of the integral, or primitive function. 
The main operations, therefore, of the Integral Calculus, 
consist in transforming given differential expressions into 
others which are equivalent to them, and which are differ- 
entials of known functions ; and thus deducing formulas 
applicable to all similar forms. 

The integration is indicated by placing the sign J 



SEC. in.] INTEGRATION. 81 

before the expression to be integrated. It is equivalent 
to "integral of"; thus, 

J 2xdx = x\ 

is read: "Integral of 2xdx, is equal to x 2 ." 

Integration of Monomials. 

35. The differential of every expression of the form, 

u = of 1 , is du = mx m - l dx (Art. 30), 

which has been found by multiplying the exponent into 
the variable raised to a power less one, into the differ- 
ential of the variable. 

If, then, we have a differential expression, of the form, 

mx m ~ l dx, or, x m dx, 

we can find its integral by reversing the above rule ; that 
is, to find the integral of such an expression, 

Add 1 to the exponent of the variable, and then divide 
by the new exponent into the differential of the variable* 

EXAMPLES. 

Find the integrals of the following differential expressions • 

1. If du = 2xdx. I du = =- = x 2 . 

J 2 x dx 



2. If du = 3cc 2 c&, I du = „ .' = 

*/ 3 x dx 



* This rule applies to every case of a differential monomial of the 
form, Aa^dx, except that in which m is — 1 (Art. 00). 



82 DIFFERENTIAL CALCULUS. [SEC III. 



3. If du = x m dx, J du 



x m + x dx x m + l 



{m + l)dx m + 1 
xr 3+l dx 1 



4. If du = x ~ 3 dx, / du = 

J — 2dx 2x 2 

5. If du = x 3 -y/xdx, I du = J x 2 dx = -x*\/x. 

36. We have seen, that the differential of the product 
of a constant by a variable, is equal to the constant multi- 
plied by the differential of the variable (Art. l§). Hence, 
the integral of the product of a constant by a differ- 
ential^ is equal to the constant multiplied by the integral 
of the differential ; that is, 

/ ax m dx = a I x m dx = a — ■ — - x m + K 
j j m + 1 

Hence, if the expression to be integrated has one or 
more constant factors, they should, at once, be placed as 
factors, icithout the sign of the integral, 

37. It has been shown that the differential of the 
sum or difference of any number of variables is equal to 
the sum or difference of their differentials (Art. 26). 
Hence, if we have a differential expression of the form, 

du = 2ax 2 dx — bydy — z 2 dz; we may write, 

J du = 2ajx 2 dx — bjydy —Jz 2 dz; or, 

/• 2 b ^ 3 

du = -ax* --y2__. that is, 

The integral of the algebraic sum of any number of dif- 
ferentials is equal to the algebraic sum of their integrals. 



SEC. III.] INTEGRATION 83 



Correction — Indefinite— Particular — and Definite Integrals. 

38. It has been shown that every constant quantity 
connected with a variable by the sign plus or minus, dis- 
appears in the differentiation (Art. 17); that is, 

d(a + x m ) = dx m — mx m - a dx. 

Hence, the same differential may have several integral 
functions differing from each other by a constant term. 
Therefore, in passing from a differential to an integral, 
expression, we must annex to the first integral obtained, 
a constant term, to compensate for the constant term 
which may have been lost in the differentiation. 

For example, it has been shown in Art. (22), that, 

■4- = a, or, dy = adx, 

is the differential equation of every straight line which 
makes with the axis of abscissas an angle whose tangent 
is a. Integrating this expression, we have, 

J dy = a J dx (1.) 

or, y = ax; 

or, finally, y = ax + O (2.) 

If, now, the required line is to pass through the origin 
of co-ordinates, we shall have, for 

x = 0, y = 0, and consequently, Q = 0. 

But if it be required that the line shall intersect the 



84 DIFFERENTIAL CALCULUS. [SEC. in. 

axis of Y at a distance from the origin equal to + &, 
we shall have, for 

x = 0, y = + 5, and consequently, (7 = + 5 ; 

and the true integral will be, 

y = ax + b . . . "\ . . (8.) 

If, on the contrary, it were required that the right line 
should intersect the axis of ordinates below the origin, 
we should have, for 

x — 0, V '= — #? an< l consequently, (7 = — 5; 

and the true integral would be, 

y == ax — b (4.) 

The constant (7, which is added to the first integral, 
must have such a value as to render the functional equa- 
tion true for every possible value that may be attributed 
to the variable* Hence, after having found the first integral 
equation, and added the constant (7, if we then make the 
variable equal to zero, the value which the function assume*? 
will be the true value of C. 

1. An indefinite integral is the first integral obtained, 
before the value of the constant G is determined. 

2. A particular integral is the integral after the value 
of G has been found. 

3. A definite integral is the integral corresponding to 
a given value of the variable. 

Thus, Equation (2) is an indefinite integral, because, so 
long as G is undetermined, it will be the equation of b 



SEC. III.] INTEGRATION. 85 

system of parallel straight lines. Equations (3) and (4) 
are particular integrals, because each belongs to a par- 
ticular line. 

Origin of the Integral. 

39. The origin of an integral function is its zero value. 
The value of the variable corresponding to the origin of 
the integral, is found by placing the second member of 
the equation expressing the particular integral, equal to 
zero, and finding therefrom the value of the variable. 
Thus, if in Equation (3), we make y — 0, we have, 

ax + b = 0, and x = — -i 

a 

which shows that the origin of the function y (that is 
y = 0), is on the side of negative abscissas, and at a dis- 
tance from the origin equal to ■ In Equation (4), it is 

at a point whose abscissa is -• 

a 

Integration between limits. 

40. Having found the indefinite integral, and the par- 
ticular integral, the next step is to find the definite in- 
tegral ; and then, the definite integral between given limits 
of the variable. 

Let us take the particular integral found in Equation (3), 

y = ax + b. 

If it is required to find the value of the function y, for 
a given value of the variable &, as, x = x\ y will be- 
come a constant for this value, and we shall have, 

y' = ax' + b (5.) 

which is a definite integral. 



86 



DIFFERENTIAL CALCULUS. 



[SEC. III. 



^' 





M 




R 





P Q 



If we wish the value of the function corresponding to a 
second abscissa, x = #", we shall have, 

y" = aa" + 5 .... . (6.) 

If we subtract Equation (5) from Equation (6), we have, 

y" ~y> = a (x" - x f ) .... (7.) 

which is the definite integral of y, taken between the lim- 
its, x = x\ and x = x". 

If, x' = OP, and x" = 0$; then, 
y' = PJf, and y" = #iy; hence, 
y" - y' = a(a" - as') = JVB ; 

Therefore : ^Ae integral of a func- 
tion, taken between two limits, indi- 
cated by given values of x, is equal to the difference of 
the definite integrals corresponding to those limits. 

Let us now explain the language employed to erpresa 
these relations. The modified form of Equation ( 1 ), 

J {dy) x -& = a J dx, 

is read: "Integral of y, when x is equal to a;';' 5 and 

J (dy) m ~ x » == a J dx, 

is read: "Integral of y, when x is equal to x n ';" and 



y (^y) = a/ $», 



is read : Integral of the differential of y, taken between 
the limits, x f and x"; the least limit, or the limit correspond 
ing to the subtractive integral, being placed below. 



SEC. in.] INTEGRATION. 87 



EXAMPLE. 



1. What is the integral of du = 9x 2 dx, between the 
limits x = 1, and x = 3, if in the primitive function 
u reduces to 81, when x = 0. 

J du = J 9x 2 dx = 3cc 3 + (7 ; hence, 
/d'w = 3a 3 + (7. 

But from the primitive function, u = 81, when a; = 0; 
hence, G = 81, and, 

y\fe = 3x 3 + 81 (1.) 

f{du) x _ 1 = 3 + 81 = 84 . . (2.) 
/V w )a-3 = 81 + 81 = 162 . . (3.) 

3 

f(du) = 162 - 84 = 78 . . (4.) 

i 

What is the value of the variable corresponding to the 
origin of the integral (Art. 39) ? 

Making the second member of Equation (1) equal 0, 

3a; 3 + 81 = 0, or, x = — 3. 

Integration of particular binomials. 
41. To integrate a differential of the form (Art. 30), 
du = (a + baT) m x n - l dx (1.) 



88 DIFFERENTIAL CALCULUS. [SEC. HL. 

The characteristic of this form is, that the exponent of 
the variable without the parenthesis is less by 1 than the 
exponent of the variable within. 

Put, (a + bx n ) = s; then, {a + bx n ) m = z m \ and, 

dz 
ribx n ~ l dx = dz ; whence, x n ~ l dx = — - ; hence, 

no 

du = / (a + bx n ) m x n ~ l dx = I — — = — - ; 

J v ; J nb (m + l)nb* 

and consequently, 

„ - ( a + bxn ) m+ l . /7 
(m + l)w6 "*" 

Hence, to find the integral of the above form, 

1. If there is a constant factor, place it without the 
sign of the integral, and omit the power of the variable 
without the parenthesis and the differential: 

2. Augment the exponent of the parenthesis by 1, and 
then divide this quantity, with its exponent so increased, 
by the exponent of the parenthesis, into the exponent of 
the variable within the parenthesis, into the coefficient of 
the variable. 

EXAMPLES. 

1. J {a + 2&)*xdx = (a 4 + 2 3 g 2)4 + O; and 

m{a + bx*) 2 xdx = ~{a + bx*)? + O. 

/' — Tnn ■» 

mn(a — 4:cx*) 2 x 3 dx = — j?r( a — ^<^) + C. 



8EC. HI.] INTEGRA T 10 X. 89 

Integration by Series, 

42. The approximate integral of any function of the 

form, 

du = Xdx, 

may be found, when X is such a function of #, that it 
can be developed into a series. Having made the 
development of the function JXT, in the powers of #, 
by the Binomial Formula, we multiply each term by dx, and 
then integrate the terms separately. When the series is 
converging, we readily find the approximate value of the 
function for any assumed value of the variable. 

EXAMPLE. 

1. Find the approximate integral of, 

fan = f , ** = f(i - df*dk? 

J J yl - x 2 J 

in which, X = (1 - x*)~*. 

Developing, (1 — x 2 ) 2 , by the binomial formula, f 

a-*)-* = i+|^ + y-| a;4 + ¥4-4 a:6 + &c - ; 

multiplying by dx, and integrating, we obtain, 
/• 1 x 3 , 1 3 x* , 1 3 5 cc 7 , . 

y* = . + __ + _.__ + T ._. T _ + A 1 

* Bourdon, Art. 166. University, Art. 32. 
f Bourdon, Art. 135. University, Art. 104, 



90 DIFFERENTIAL CALCULUS. [SEC. HI. 

from which we obtain an approximate value of u, cor« 
responding to any value we may give to x. 



APPLICATIONS TO GEOMETRICAL MAGNITUDES. 
Equations of Tangents and Normals. 

43. We have seen, that if x and y denote the 

dy 
co-ordinates of every point of a curve, -j- will denote 

the tangent of the angle which the tangent line makes 

with the axis of abscissas (Art. 13). This value of -~ 

GX 

was found under the supposition that the second secant 
point became consecutive with the first ; hence, 

Any two consecutive points, must, at the same time, 
be in the chord, the curve, and the tangent. 

Denote the co-ordinates of the point of tangency, in any 
curve, by x" and y". If through this point we draw any 
secant line, its equation will be of the form, 

y — y n = a(x — #").* 

If the second point of secancy becomes consecutive with 
the first, we shall have (Art. 13), 



dx' 



a — -*„ff> 



hence, the equation of the tangent line is, 

dy 
dx 



y -y" = %(«-*')• • • • W- 



* Bk. L Art. 20. 



SEC. m.] TANGENTS AND NORMALS. 91 

If, in the equation of any curve, we find the value of 

dy" 

-^- Tt , and substitute that value in Equation ( 1 ), the equa- 

(XX 

tion will then denote the tangent to that curve. 
1. By differentiating the equation of the circle, 

« 2 + y 2 = B 2 , or, x" 2 + y" 2 = It 2 , 



. dy" x" , 

we have ' If = ~ p'* 

x" 
hence, y - y" = (x — x") ; 

or, by reducing, yy" + xx" = i? 2 . 

2. By differentiating the equation of the ellipse, we 

have, 

dy n JS 2 x" 

dx" ~~ "" Zy 7 '* 

3. By differentiating the equation of the parabola, we 
have, 

dy" __ P t 

4. By differentiating the equation of the hyperbola, we 

have, 

dy" B 2 x" 

dx" " Ahj ,r 

Substituting these values, in succession, in Equation (1), 
and reducing, we shall find the equation of the tangent 
line to each curve. 

* Bk. II. Art. 8. \ Bk. III. Art. 14, \ Bk. IV. Art. §. 



92 DIFFERENTIAL CALCULUS. [SEC. IU, 

44. The equation of the normal is of the form, 

y-y" = a'(*-0 .... (1.) 

But since the normal is perpendicular to the tangent, at 
the point of contact, 



1 + aa' = 0,* 



or, 



a 



dx" 

dy"> 



hence, the equation of the normal is, 

y-y"= - fM*-*") • • • < 2 -) 

By differentiating the equation of the circle, the ellipse, 
the parabola, and the hyperbola, finding in each differ- 
ed" 
ential equation the value of — -7-775 substituting that 

value in Equation (2), and reducing, we shall find the 
equation of the normal line to each curve. 



Value of tangent, sub-tangent, normal, and sub-normal. 

45. Let P be any point of a 
curve; TP the tangent, TB the 
sub-tangent, PN~ the normal, and 
UN the sub-normal. 

Then, in the right-angled tri- 
angle TPR, 

PR=TRx UnPTR = TRx^-; 

hence, TR = —=- = y— = Sub-tangent. 

ty_ dy 

dx 




* Bk. I. Art. 23. 



SEC. III.] TANGENTS AND NORMALS. 93 

46. The tangent TP is equal to the square root of 
the sum of the squares of TR and PR\ hence, 



TI>=yy/r+^ = Tangent. 

47. Since TPN is a right angle, RPN is the com 
plement of TPR\ it is therefore equal to PTR, and con- 
sequently its tangent is -^- ; hence, 

RN = y-~ = Sub-normal. 

48. The normal PN is equal to the square root of 
the sum of the squares of PR and R JV; hence, 



PIT = y^/l + jj£ = Normal. 

49. Apply these formulas to lines of the second order, 
of which the general equation is, 







2/2 = 


: mx 


+ 


nx 2 


.* 




Differentiating, 


we 


have, 












dy 




m + 


2nx 




m 


+ 2nx 




dx 


~-"" 


2y 




i 


?,<%/* 


na* -4- na 


*2 



substituting this value, we find, 

mn dx 2(mx + nx 2 ) ' , 

™ = *Ty = -k+W = Sub-tangent. 

TP = yji + ** = .L + rf^f^ 5 , 
* V dy 2 V T V m + 2na; / 



* Bk. V. Art. 42. 



94 



DIFFERENTIAL CALCULUS. 



SEC. in. 



t^tit- dy m + 2nx , . 

EJST — y-~ — — Sub-normal. 

9 ax 2 



PN = y Wl + y^ = \Jmx + nx 2 + ~(m + 2?ix) 2 . 



By attributing proper values to m and n, the abo\e 
formulas will become applicable to each of the conic 
sections. In the case of the parabola, n = 0, and we 
have, 



TR = 2x, TP = </mx+ 4a 2 , 

PN 



**-=. 



\ mx + -m 2 . 



Asymptotes. 

50. An asymptote of a curve is a line which continually 
approaches the curve, and becomes tangent to it at an 
infinite distance from the origin of co-ordinatefl. 

Let AX and' AY be the 
co-ordinate axes, and 



y-y" = %{*-*% 

che equation of any tangent 
line, as TP. 




R 



If, in the equation of the tangent, we make, in succes- 
sion, y =z ? x = 0, we shall find, 



* = AT = «>-y>^„ 



y = AD = y" - x' 



dx"' 



SEC. III.] ASYMPTOTES. 95 

If the curve CPB has an asymptote PPJ, it is plain 
that the tangent PT will approach the asymptote RE, 
when the point of contact P, is moved along the curve 
from the origin of co-ordinates, and T and D will also 
approach the, points P and T, and will coincide with 
them when the co-ordinates of the point of tangency are 
infinite. 

In order, therefore, to determine if a curve have asymp- 
totes, we substitute in the values of AT and AD, the 
co-ordinates of the point which is at an infinite distance 
from the origin of co-ordinates. If either of the dis- 
tances AT, AD, becomes finite, the curre will have an 
asymptote. 

If both the values are finite, the asymptote will be 
inclined to both the co-ordinate axes ; if one of the dis- 
tances becomes finite and the other infinite, the asymptote 
will be parallel to one of the co-ordinate axes; and if 
they both become 0, the asymptote will pass through the 
origin of co-ordinates. In the last case, we shall know 
but one point of the asymptote, but its direction may be 

cli/ 
determined by finding the value of ■— , under the sup- 
position that the co-ordinates are infinite. 

51. Let us now examine the equation, 
y 2 — mx + nx 2 , 

of lines of the second order, and see if these lines have 
asymptotes. We find, 

AT = x — f-— - = — — — , 

m -f 2nx m + 2nx 



96 



DIFFERENTIAL CALCULUS. 

mx,+ 2nx 2 



[sec. m. 



AD = y 



mx 



2 y ' 2i/mx + ?ix 2 ' 

which may be put under the forms, 



AT = 



— m 

m , ^ 
— + 2n 
x 



AD = 



m 



vf+»' 



and making x = oo, we have, 



^LB = -2t, and AE = ™ 

If now we make w = 0, 
the curve becomes a parabola, 
and both the limits, AH, AE, 
become infinite ; hence, the 
parabola has no rectilinear 
asymptote. 

If we make n negative, the 
curve becomes an ellipse, and 

AE becomes imaginary; hence, the ellipse has no asymp- 
tote. 

But if we make n positive, the equation becomes that 
of the hyperbola, and both the values, AH, AE, become 

2JB 2 

finite. If we substitute for m its value, —j-, and fo* 

B 2 

n its value -rr, we shall have, 

A 2 




AB = - A, 



and 



AE = ± B. 



Hence, of the lines of the second order, the hyperbola 
alone has asymptotes. 



fiEC. III.] RECTIFICATION OF CURVES. 97 

Differential of an arc. 

52. We have seen that, when the points which limit 
any arc of a curve become consecutive, the chord, the 
arc, and tangent become equal (Art. 43) ; therefore, the 
differential of an arc is the hypothenuse of a right-angled 
triangle of which the base is dx, and the perpendicular 
dy. Hence, if we denote any arc, referred to rectangular 
co-ordinates, by z, we have, 

dz = -tAfo 2 + dy 2 . . (1.) or, z = f i/dx 2 + dy 2 . . (2.) 

Rectification of a plane curve. 

53. The rectification of a curve is the operation of 
finding its length; and when its length can be exactly 
expressed in terms of a linear unit, the curve is said to 
be rectifiable. To rectify a curve, given by its equation: 

Differentiate the equation of the curve and find the 

value of dy 2 in terms of x and dx/ or of dx 2 in 
terms of y and dy, and substitute the value so found 

in the differential Equation (2). The second member 

will then contain but one variable and its differential * 

the integral will express the length of the arc in terms 
of that variable. 

EXAMPLES. 

1. Find the length of the arc of a circle in terms of 

the radius. The equation of a circle whose radius is 1, 

referred to rectangular axes, when the origin is at the 

centre, is, 

x 2 + y 2 = 1. 



98 DIFFERENTIAL CALCULUS. [SEC. III. 

Denoting the arc by z, we have, 

dz = -y/cfc 2 + dy\ or, z = f-^d^+^dy 2 . 
From the equation of the circle, we have, 

xdx + ydy == ; hence, dy 2 = _^!^!_ . 

J. X 



r A o , # 2 cfo 2 r dx /> _x 



Developing the binomial factor into a series, by the 
binomial formula,* multiplying by <fe, and integrating, we 
have (Art. 42), 

z~j(l-x*) -& = * + _ + _ +5 -^ + &o. + a 

If we suppose the origin of the 
integral to be at E, the correspond- 
ing value of x will be zero, and 
(7—0. If now we integrate between 
the limits x = 0, and cc = J, we 
shall obtain the value of the cor- 
responding arc in terms of the radius 1. 

But x, or JPM, is the sine of the arc i?P, denoted 
by z\ and when x = ^, 2 = 30° ; hence, 

300 = / (1 _ ^ ^ .1 + _L_ + _"_ + &c ., 




* Bourdon, Art. 135. University, Art. 104* 



SEC. HI.] RECTIFICATION OF CURVES. 99 

hence, 

/l 1.1.1 1.3.1.1 1.3.5.1.1 , r \ 

* = 30 X6 = 6 (2 + 2A2- + MJ* + ns?s* + &c 7' 

and by taking the first ten terms of the series, we find, 
* = 3.1415926. . . , 

a result true to the last decimal figure. 

We have thus found the semi-circumference of a circle 
whose radius is 1, or the circumference of a circle whose 
diameter is 1. 

2. Find the length of the arc of a parabola, whose 

equation is, 

y 2 z=z 2px. 

Differentiating and dividing by 2, we have, 

ydy = pdx, 



and consequently, 






substituting this value in the differential of the arc, we 
have, 



= —fyVp 2 + y 2 i 

developing the radical quantity by the binomial formula, 
and integrating the terms separately, we have, 

"V + 2Zp 2 2 # 2 , 2 , 5^ + 2 , 2 , 2 , 2 , 3 , 7i> 6 '~ 7 + 



100 



DIFFERENTIAL CALCULUS. 



[sec. in. 



If we estimate the arc from the principal vertex, z and y 
will be zero together, and G will be zero. If we make 
y — jpj z will denote the length of the arc from the vertex 
to the extremity of the ordinate passing through the focus. 



QUADRATURES. 

54. Quadrature is the operation of finding the area 
or measure of a surface. When this measure can be found 
in exact terms of the unit of measure, the surface is said 
to be quadrable. 

Quadrature of plane figures. 

55. A plane figure is a portion of a plane, bounded by 
lines, either straight or curved. 

Let be the origin of a sys- 
tem of rectangular co-ordinates, 
and oacdeb any line whose equa- 
tion is of the form, 



V =A X ) 



(I.) 




A a D 



If the ordinate Oo, denoted by y, move parallel to itself, 
along OD as a directrix, and so change its value as always 
to satisfy Equation ( 1 ), it will generate the plane surface 
OoacdD, and its upper extremity will generate the line 
oacd. The element, or differential of this surface will be 
any one of the trapezoids, as CcdD, when the ordinates 
Cc and Dd are consecutive. If we denote the surface on 
the left of the ordinate Cc, by s, ds will denote the area 
of the trapezoid. This trapezoid is composed of the rect- 
angle Cd\ and the triangle cd'd\ that is, 

ds = ydx + -£— • 



SEC. III.] QUADRATURES. 101 

But since the product ydx is an infinitely small quantity 

of the first order, and dydx an infinitely small quantity of 

the second order, the latter may be omitted without error 

(Art. 20) ; hence, 

ds = ydx\ that is, 

The differential of a plane surface is equal to the or 
dinate into the differential of the abscissa. 

To apply the principle enunciated in the last equation, 
in finding the measure of any particular plane surface : 

Find the value of y in terms of x, from the equation 
of the bounding line; substitute this value in the differ- 
ential equation, and then integrate betioeen the required 
limits of x. 

Nature of the Integral. 

56. To comprehend the true nature of an integral, we 
must examine the differential from which it was derived. 
The differential of a plane surface is, 

ds = ydx. 

If we integrate between the limits x = 0, and x = OD = a, 
we write, 



Ids = I ydx = OoacdD; 



that is, the first member of the equation denotes the sum 
of all the infinitely small rectangles between the limits 
x = 0, and x = a; the second member, 



/» 



ydx, 
is the same thing under another form ; viz. : it shows that 



102 DIFFERENTIAL CALCULUS. [SEC. Ill, 

every value of y, between the limits y = Oo, and y — Bb, 
is multiplied, in succession, into each base denoted by 
dx\ the sum of these products, each of which is ydx, is 
obviously the required area. 

1. Perhaps the relation between the differential and the 
integral, may be more obvious, by observing the figure, 
in which a portion of it is divided into three parts, having 
equal bases. If we bisect each base and draw parallel ordi- 
nates, we shall have six parts ; if we bisect again and draw 
parallel ordinates, we shall have twelve parts : if again, 
twenty-four; and so on. 

Now, there is no difficulty in seeing that each bisection 
doubles the number of parts, and diminishes the value of 
each part ; and that the sum of the parts will be constantly 
equal to the given area. When, therefore, each part be- 
comes infinitely small, any finite number of them is 0; 
but an infinite number is equal to a finite quantity, viz.: 
to the given area. 

Area of a rectangle. 

57. Let be the origin of a J" 

system of rectangular co-ordinates. 
On the axis of Y, take any dis- 
tance OB equal to h. Suppose 
the line h to move parallel to 
itself, along the axis of JT, as a directrix, until it reaches 
the position AC. During its motion, it will generate the 
rectangle 00; the foot of the line will pass over every 
point in the line OA, and the line itself will occupy every 
part of the rectangle C. 



A X 



SEC. Ed.] QUADRATURES. 103 

Since the equation of the line B G is, 

V = h 

we shall have, for the differential of the surface, 

ds = hdx. 

Integrating between the limits x = 0, and x == 5, and 
observing that (7=0, when cc = 0, we have, 

& 

/ ds = I hdx = hx = hb; that is, 

o 

7%e ar^a of a rectangle is equal to the product of its 
base by its altitude. 

Area of a triangle. 

58. Let ABO be a right-angled 
triangle, and O the origin of co- 
ordinates. Denote the base AB by 
J, and the altitude CB by h. De- 
note any line parallel to the base by 
y, and the corresponding altitude 
by x. 

If we suppose the base AB to be moved towards the 
vertex of the triangle, along CB as a directrix, and so to 
change its value, that, 




b : h : : y : #, 



or, 



bx 



it is plain that it will generate the surface of the triangle. 
If we denote the surface by s, we have, 



ds = ydx' y 



104 DIFFERENTIAL CALCULUS. [SEC. in. 

substituting for y its value, and integrating between the 
limits x — 0, and x = A, we have, 

h 

/» , b r T 5 a: 2 M 

/ as z=z T / xdx =:-— = —; 
j y h 2 2 * 

o 

that is, The area of a triangle is equal to half the 
product of the base by the altitude. 



Area of the parabola. 

59. Find the area of any portion of the common para- 
bola whose equation is, 

y 2 = 2px; whence, y = -\/2px. 

This value of y being substituted in the differential equa- 
tion (Art. 55), gives (Art. 36), 

J ds =z J -y/2pxdx = -\/2pJ x 2 dx = X s + C; 



2-\/2px XX 2 , „ 

or, s = - x ~ = ^y + C. 

If we estimate the area from the principal vertex, where 
x = 0, and y = 0, we have, (7=0, and denoting 
the particular integral by s\ we shall have, 

2 
s' = -xy\ that is, 

27*6 area of any portion of the parabola, estimated 

2 
from the vertex, is equal to - of the rectangle of the 

o 

abscissa and ordinate of the extreme point. The curve 
is, therefore, quadrable. 



SEC. III.] QUADEATUKES. 105 

1. To find the area of a parabola from the vertex to 
the double ordinate through the focus. We have, for these 
limits, x = and x = ^p. Denoting the integral by s", 

ip 
we have, J ds = s" = \p 2 , 



which denotes the area bounded by the curve, the axis, 
and the ordinate ; hence, if we double it, we shall have the 
required area; or, 

That is, The area is equal to one-sixth of the square 
described on the parameter of the axis. 

2. If the area be estimated from the ordinate through 
the focus, where x = \p, and y =p, O must have such a 
value as to reduce the first member to 0: for, this is the 
origin of the integral. 

We have, J ds = \xy + (7; 

and for the particular case of the focus, 

ids =z^x^pxp + C= \p 2 + C\ hence, 

Xp2 +O =0; or, C=-±p 2 . 
Hence, the integral from x = \p to any value of x is, 

J ds = -xy - -p 2 . 
\p 

Area of the circle. 

60. The equation of the circle referred to its centie 

and rectangular axes is, 



yi — r i _ x 2 . orj y __ y^2 _ x 2 . 



106 DIFFERENTIAL CALCULUS. [SEC. m. 

hence, the differential equation of the area (Art. 5?) is, 
ds = (VV 2 — x 2 )dx .... (1.) 

in which the origin of the area is at the secondary dia- 
meter, where x = 0. 
From Formula Jg 9 page 189, we have, 

yXyV 2 - x 2 )dx =z hc(r* - x 2 ) 2 + \r 2 fif - x 2 )~ 2 dx- 
But, by Formula (13), Art. 09, we have, 

fu* _ x )-*dx = f—^= = sin" 3 - + G; 
whence, by substitution, we have, 



— i 



x 



s = ~x(r 2 — ® 2 ) 2 + -r 2 sin - + C . (2.) 

Estimating the area from the secondary diameter, where 
x = 0, we have, (7=0. 

If we integrate between the limits of x =z 0, and 
x = r, we shall have one quarter of the area of the 
circle. When we make x = r, in Equation ( 2 ), the 
first term in the second member becomes ; and in the 

x 
second term, - becomes 1, and the arc whose sine is 1, 

if 
is 90°, which is denoted by -— , to the radius 1 ; hence, 

r 

/ds = -r 2 sin- 1 ! = -r 2 X -: or, 
2 2 2'' 

Area of the circle = 4(-r 2 x -J = rV. 



SEC. m.] QUADEATURES. 107 

Area of the ellipse. 

61. The equation of the ellipse, referred to its centre 
and axes is, 

A 2 y 2 + B 2 x 2 = A 2 B 2 ; hence, 

y - ^/aF=&, 

and the differential equation of the area is, 

B i 

ds = -.(A 2 - x 2 ) 2 dx. 

The second member of this equation differs from the 
second member of Equation ( 1 ), of the last Article, only 

in the constant coefficient -r, and the constant A 2 for 

A 

r 2 , within the parenthesis; hence, the integral of that 
expression becomes the integral of this, by multiplying it 

liy -j , and changing r into A ; that is, 

fds = *j*A* x I) = ^; hence, 

Area of ellipse = — - — = A.B.x\ that is, 

The area of an ellipse is equal to the product of its 
semi-axes multiplied by it. 

1. Let Q denote the area of a circle described on 
the transverse axis, and Q' the area of a circle described 
on the conjugate axis; then, 

JLV = Q, and B 2 * = Q' \ hence, 



108 DIFFERENTIAL CALCULUS. 

A 2 B 2 * 2 = QQ\ and 



[sec. m. 



AB<* = VQX Q!\ that ^ 




A G D E B X 



TJie area of an ellipse is a mean proportional between 
the two circles described on its axes. 

QUADRATURE OF SURFACES OF REVOLUTION. 

62. Let oacdeb be a plane 
curve, OB the axis of abscis- 
sas, and Oo, Aa, Cc, &c, con- 
secutive ordinates; then, oa, ac, 
cd, &c, will be elementary arcs. 
The surface described by either 
of these arcs, while the curve 
revolves around the axis OB, will be an element of the 
surface. We have seen, that when the ordinates are con- 
secutive, the chord, the arc, and the tangent, are equal 
(Art. 43) ; hence, the surface described by any arc, as 
ac, is equal to that described by the chord; that is, 
equal to the surface of the frustum of a cone, the radii 
of whose bases are Aa — y, Cc = y + dy, and of which 
the slant height ac = -\/dx 2 + dy 2 . Hence, if we denote 
the surface by s, we have,* 

ds = *r(2y + 2y + 2dy) X \-\fdx 2 + dy 2 ; 
or, omitting 2dy (Art. 20), 



ds = 2ty^dx 2 + dy 2 ) that is, 

The differential of a surface of revolution is equal to 
the circumference of a circle perpendicular to the axis, into 
the differential of the arc of the meridian curve. 



* Leg., Bk. VIII. P. 4, 



SEC. in.] SURFACES OF REVOLUTION. 109 

Therefore, to find the measure of any surface of revo- 
lution : 

Find the values of y and dy, from the equation 
of the meridian curve, in terms of x and dx; then 
substitute these values in the differential equation, and 
integrate between the proper limits of x. 



Surface of a cylinder. 

63. If the rectangle AC be 
revolved around the side AJB, 
DC will generate the surface of 
a cylinder. 

Since the generatrix is parallel J[ 

to the axis AB, its equation will 
be, 



y = by and hence, dy = 0. 

Substituting these values in the differential equation of 
the surface, we have, 

J ds = J2«yi/dx 2 + dy 2 = J 2*bdx == 2*bx + C. 

If we suppose A to be the origin of co-ordinates, 
(7=0, and integrating between the limits x — and 
x = A, we have, 

s = 2bxh; 

that is, The measure of the surface of a cylinder is equal 
to the circumference of its base into the altitude. 




HQ DIFFERENTIAL CALCULUS. [SEC. m. 

Surface of the cone. 

64. If the right-angled triangle 
CBA be revolved around the axis 
AG, CB will generate the convex 
surface of a cone. 

If we suppose G to be the origin 
of co-ordinates, the equation of BG 

will be, 

y = ax, and dy = adx. 

Substituting these values in the differential equation of 
the surface, we have, 

f d8 = f^ax^dx 2 + a?dx 2 = fziaxtixi/T+l* + G, 

(Art. 35) = ^ 2 ^T^ 2 + & 

Estimating the surface from the vertex, where x = 0, 
we have, (7=0, and 

s = *ax 2 i/l + a 2 . 

If we make x = h = AG, and BA = b, we have, 

a = 7, and consequently, 

5 = % h V + A 2 ~ 2 2 

that is, The convex, surface of a cone is equal to the 
circumference of the base into half the slant height. 



SECm/J SURFACE OF THE SPHERE. m 

Surface of the sphere. 

65. To find the surface of a sphere. The equation 
ol the meridian curve, referred to the centre, is, 

* 2 + t/ 2 = i?>. 
By differentiating, we have, 

hence, ■* + *%■= *j 

dy=- X -^, and <^ = ^. 

y y 2 

Substituting for dy* its value, in the differential of the 
surface, which is, 

we have, ^ ■' 

/* = f2« y <Jd^+ t dX 2 = y 2#J?<fe = 2<J& + a 

If we estimate the surface from the plane passing through 
the centre, and perpendicular to the axis of X we shall 
have, 

s = 0, for x =-. 0, and consequently, C = 0. 

To find the entire surface of the sphere, we must inte- 
grate between the limits x = + M, and x = _ J? 
and then take the sum of the integrals, without reference 
to then- algebraic signs; for, these signs only indicate the 
portion of the parts of the surface with respect to the 
plane passing through the centre. 

Integrating between the limits, 

x = 0, and x = 4- JR, 



112 DIFFERENTIAL CALCULUS. [SEC. III. 

we find, s = 2rfH 2 ; 

and integrating between the limits x = 0, and x = — i?, 
there results, 

s = — 2tfi2 2 ; 
hence, 

Surface = 4<ri2 2 = 2*i2 X 2i2 ; 

that is, Equal to four great circles^ or equal to the 
curved surface of the circumscribing cylinder. 

1. The two equal integrals, 

s = 27ri2 2 , and s =z — 2tfis! 2 , 

indicate that the surface is divided into two equal parts 
by the plane passing through the centre. 

Surface of the paraboloid. 

66. To find the surface of the paraboloid of revolution. 
Take the equation of the meridian curve, 

y 2 = 2px, 

which being differentiated, gives, 

<fe=^, and dtf=t*£. 
p p> 

Substituting this value of dx in the differential of the 
surface, (Art. 62), we have, 

ds = z*y^(—p^yy = 2 -^ydyV¥~+¥- 



SEC. III.] 8UEPACE OF THE ELLIPSOID. 113 

But we have found (Art. 41), 



jytyVy' + p* = ^ (y 2 + i> 2 ) 5 + C\ 



hence, 



= |(y 2 + i> 2 ) ! + g. 



If we estimate the surface from the vertex, at which 
point y ■— 0, we shall have, 

= *f + C, whence, C = - ^; 

and integrating between the limits, 

y = 0, and y = J, 



we have, 



»= |[(J 2 +^ 2 ) f -i> 3 ]. 



Surface of the ellipsoid. 



67. To find the surface of an ellipsoid described by 
revolving an ellipse about the transverse axis. 

The equation of the meridian curve is, 

J2y2 + && _ ^2^2 ? 

whence, 

B 1 xdx i? xdx 



114 



DIFFERENTIAL CALCULUS. 



[SEC. III. 



substituting the square of dy in the differential of the 
surface, and for y its value, 



JyCir-a?, 



we have, 



ds = 2^—dx^A^- (A 2 - B 2 )x 2 ; (1.) 
hence, f ds = 2^y / 3" 2 - B*fdx\J-^~ 



B* 



B 



Put, 2tf-— y^ 2 — B 2 = D, a constant quantity; 



and 



J. 2 - .S 2 



= jB 2 , also a constant, 



and we have, 



fds = Z>fdx</B* - a; 2 . 




j&j A 



£ i) 



With C, the centre of the 
meridian curve, and the radius 
72, describe a semi-circle. Then, 

/ dx^/lfi — & 2 , is a circular 

segment of which the abscissa 
is #, and radius J2. 

If, then, we estimate the surface of the ellipsoid from 
the plane passing through the centre, and estimate the 
area of the circular segment from the same plane, any 
portion of the surface of the ellipsoid will be equal to 
the corresponding portion of the circle, multiplied by the 
constant JO. Hence, if we integrate the expression, 



SEC. m.] CUBATUEE OF VOLUMES. 115 

fdxi/H 2 - x\ 

between the Kmits x = 0, and x = A, we shall have 
the area of the segment CGFB^ which denote by D\ 
Hence, 

i surface ellipsoid == D X D r ; and 

Surface = 2D x Z>'. 

1. If we make A = JB, in Equation (1), the ellipsoid 
becomes a sphere, and we have, 

s = J 2tfBdx = 2*Rx + (7. 

If we estimate the surface from the plane passing through 
the centre, G = 0, and integrate between the limits 
« = 0, and cc = i?, we have, 

£ surface of sphere = 2tf_Z2 2 ; hence, 
Surface == 4tfi2 2 . 

CUBATUEE OF VOLUMES OF EEVOLUTIOIS'. 

6§. Cubattjee is the operation of finding the measure 
of a volume. When this measure can be found in exact 
terms of the measuring cube, the volume is said to be 
cubable. 

69. A volume of revolution is a volume generated by 
the revolution of a plane figure about a fixed line, called 
the axis. 

If the plane figure OoacdebB, be revolved about the 
axis of JT, it will generate a volume of revolution. 



116 



DIFFERENTIAL CALCULUS. 



[sec. in. 






A D E B X 



Let us suppose the ordinates Aa, Cc, JDd, &c., to be 
consecutive. During the revo- 
lution, any element of the sur- 
face, as, AacC) will generate 
the frustum of a cone, of which 
the radii of the bases are 
Aa == y, Cc = y + dy, and 
the altitude, A G = dfo. This 
frustum will be an element of the volume, and will have 
for its measure,* 

lb/ 2 + (y + dy? + yiy + dy)]dx. 

If we denote the volume by J 7 ", develop the terms 
within the parenthesis, multiply by dx, and then reject 
all the terms containing the infinitely small quantities of 
the second order (Art. 20), we shall have, 

dV = *y 2 dx. 

The area of a circle described by any ordinate y, is 
«ry 2 f ; hence, The differential of a volume of revolution is 
equal to the area of a circle perpendicular to the axis into 
the differential of the axis. 

The differential of a volume generated by the revolution 
of a plane figure about the axis of Y", is vx 2 dy. 

70. To find the value of V for any given volume : 

Find the value of y 2 in terms of x, from the equation 
of the meridian curve; substitute this value in the differ- 
ential equation, and then integrate between the required 
limits of x. 



* Leg., Bk. VIII. P. 6. 



f Leg., Bk. V. Prop. 16. 



SEC. in.] CUBATURE OP VOLUMES. 



117 



EXAMPLES. 

1. Find the volume of a right cylinder with a circular 
base, whose- altitude is h and the radius of whose base is r. 

We have for the differential of the volume, 
dV = «y 2 dx\ 
and since y = r, we have, 

fdV =j % «r 2 dx\ 

integrating between the limits x = 0, and x = A, 
h 
fdV = V= *r 2 x — «r 2 h\ that is, 



The measure of the volume of a cylinder is equal to 
the area of its base multiplied by the altitude* 

2. Find the volume of a right cone with a circular base, 
whose altitude is h, and the radius of the base, r. 

If we suppose the vertex of the cone to be at the origin 
of co-ordinates, and the axis to coincide with the axis of 
abscissas, we shall have, 

y = ax, or, y = -x, and y 2 = ^<c 2 ; 
substituting this value of y 2 , we have, 



* Legendre, Bk. YIIL Prop. 2. 



118 DIFFERENTIAL CALCULUS. [SEC. III. 

Integrating between the values x = 0, and x = A, 
h 
fdV = V= «£ 2 j = «r* x |; that is, 



Tlie measure of the volume of a cone is equal to the 
area of the base into one-third of the altitude* 

3. To find the volume of a prolate spheroid. \ 
The equation of the meridian curve is, 

B 2 
A 2 y 2 + B 2 x 2 = A 2 B 2 ; hence, y 2 = ~r 2 (A 2 - a 2 ). 

_B 2 

and dV = <t-r- 2 (A 2 — # 2 )e?#; hence, 



r = **(^ - i ) t ,, 



= fg(8JL*» - a 3 ) + (7. 



If we estimate the volume from the plane passing 
through the centre, we have, for x = 0, J 7 " = 0, and 
consequently, G = ; and taking the integral between 
the limits x = 0, and a; = .4, we have, 



y^F = g*B» x A ; 



which is half the volume ; consequently, the entire volume, 



27 = %«B* x 2-4 



* Legendre, Bk. VIII. Prop. 5. \ Bk. VI. Art. 37. 



6EC. in.] CUBATUEE OF VOLUMES. 119 

But, <xB 2 expresses the area of a circle described on the 
conjugate axis, and 2 A is the transverse axis ; hence, 

The volume of a prolate spheroid is equal to two-third* 
of the circumscribing cylinder. 

1. If an ellipse be revolved around the conjugate axis, 
it will describe an oblate spheroid, and we shall have, 



f dV = I xx 2 dy\ 



substituting for a 2 , and integrating, we have, 
2V= \«A 2 X 2B\ 

o 

that is, two-thirds of the circumscribing cylinder. 

2. If we compare the two results together, we find, 

oblate spheroid : prolate spheroid : : A : B. 

3. If we make B == A, the ellipsoid becomes a sphere 
whose diameter is the transverse axis. Then, 

2V = \«B 2 X D = Vz>3. 

that is, Equal to two-thirds of the circumscribing cylinder^ 
or to one-sixth of if into the cube of the diameter. 

4. Find the volume of a paraboloid. The equation of 
the meridian curve is, 

y 2 = 2px\ hence, 
dV = 2*pxdx, and V= if pa?. 

If we estimate the volume from the vertex, (7=0. If wo 
integrate between the limits x = 0, and x = A, and de- 
signate by 5, the ordinate corresponding to the abscissa 
x = A, we have, 



120 



DIFFERENTIAL CALCULUS. [SEC. HI. 



V= <xph 2 = <xb 2 X -; that is, 
equal to half the cylinder having the same base and altitude, 

Prism and Pyramid. 

1. Let ABODE be any polygon, and FH a line per- 

pendicular to the plane of the base. If 

the polygon move along the line FH, 

parallel to itself, it will generate a prism. 

If we denote the volume by Y, the area of 

the base by b, and the indefinite line HF 

by x, we shall have, 

dV = bdx. 

and, integrating between the limits x = 
h 

f dV = fbdx = bxx=bxh. 



2. If we suppose the base so to vary, as it moves along 
the line FH, as to bear a constant ratio to the square of 
its distance from the point F, it will generate the volume 
of a pyramid, of which F is the vertex and ABODE the 
base.* If we denote the variable generatrix, at any point, 
by y, and its distance from the vertex by x, we have, 

dV ' = ydx. 

But, b : y : : h 2 : x 2 ; hence, y = — x x* ; 




therefore, 



dV= j% X x 2 dx; 



and integrating between the limits x = 0, and x = A, we have, 
h 



f*r= x J**c = s x 






* Legendre, Bk. VII. P. 3. Cor. 1. 



SECTION IV. 

SUCCESSIVE DIFFERENTIALS SIGNS OF DIFFERENTIAL CO- 
EFFICIENTS FORMULAS OF DEVELOPMENT. 

Successive Differentials. 

71. If u denotes any function, and x the independent 
variable, we have seen that the differential coefficient jP, 
is, in general, a function of x (Art. 23). It may there- 
fore be differentiated, and a new differential coefficient 
will thus be obtained, which is called the second differ- 
ential coefficient. 

In passing from the function u to the first differ- 
ential coefficient, the exponent of x is diminished by 1, in 
every term where x enters (Art. 30) ; hence, the relation 
between the primitive function u and the variable a?, is 
different from that which exists between the first differen- 
tial coefficient and x. Hence, the same change in #, 
will occasion different degrees of change in the primitive 
function and in the first differenticd coefficient. 

The second differential coefficient will, in general, be a 
function of cc, exhibiting a still different relation ; hence, 
a new differential coefficient may be formed from it, 
which may also be a function of x\ and so on, for suc- 
ceeding differential coefficients. 



122 DIFFERENTIAL CALCULUS. [SEC. IT. 

If we designate the successive differential coefficients by 
p, q, r, s, &c, 



shall have, 






du 


dp 


dx 


du = pdxy 


dp = qdx, 


dq = rcfo. 



But the differential of p may be obtained by differ- 
entiating its value — , regarding the denominator dx as 
constant; we therefore have, 

Jdu\ 7 d 2 u 

d \Tx) = ^ or ' * = Ji>; 

substituting for d/? its value, and dividing by dfe, 

The notation, d 2 u, indicates that the function u has been 
differentiated twice ; it is read, second differential of u. 
The denominator dx 2 , denotes the square of the differ- 
ential of x, and not the differential of x 2 . It is read; 
differential of x, squared. 

If we differentiate the value of y, we have, 

,/<Pti\ 7 d 3 u 

*\d*) = *' W » 3? = * ; 

hence, ~— - = r, &c. : 

c7a 3 



SEC. IV.J SUCCESSIVE DIFFERENTIALS. 123 

and in the same manner we may find, 

The third differential coefficient, -j-r 3 , is read : third 

ctx 

differential of u, divided by dx cubed ; and the differ- 
ential coefficients which succeed it are read in a similar 
manner. 

Hence, the successive differential coefficients are, 
du d 2 u d 3 u d*u 9 

dk = * 3* = * W = r ' a* = 5 ' &c " 

from which we see, that each differential coefficient is 
derived from the one that immediately precedes it, in the 
same way as the first is derived from the primitive func- 
tion. 

The differentials of the different orders are obtained by 
multiplying the differential coefficients by the correspond- 
ing powers of dx ; thus, 

-=- dx = 1st differential of w, 

(XX 

— -dx 2 = 2d differential of u. 
dx 2 



-=— dx n = nth differential of u. 
dx n 



124 DIFFERENTIAL CALCULUS. [SEC. IV 

EXAMPLES. 

1. Find the differential coefficients in the function, 
u = ax 3 . 



du 
dx 


= 


3ax 2 


=z 


JP> 


d*u 
do* 


= 


6ax 


= 


?> 


d?u 
dx 3 


= 


6a 


= 


r. 



2. Find the differential coefficients in the function, 

u = ax n . 

The first differential coefficient is, 

du 

— = nax n "\ 

dx 

Since n, a, and dx, are constants, we have for the 
second differential coefficient, 

d 2 u , . 

— - ■ = n(n — l)acc n " 2 ; 

ace 2 ' 

and for the third, 

cPu 



dx> = n ( n ~' 1 ' ) (* ~ 2 ) flKC,, " S » 



and for the fourth, 



c& 4 



= n(n — 1) (^ 2) (ft — 3)aa*- 4 . 



SEC. IY.] SUCCESSIVE DIFFERENTIALS. 125 

It is plain, that when n is a positive integral nunrbcr, 
the function 

u = ax n , 

will have n differential coefficients. For, when n difter* 
entiations have been made, the exponent of x in the 
second member will be ; hence, the ?ith differentia? co- 
efficient will be a constant, and the succeeding one? *ill 
be 0. Thus, 

~ = n{n - 1) (n - 2) (n - 3) a.l 

, d n + l u 

and dFn = °- 



Sign of the first differential coefficient- 
72. If we have a curve whose equation is, 

y = /(*), 

and give to a; any increment A, we have (Art. 13), 

y'-y A* + h) - f(x) 

h ~ h ' 

and passing to the consecutive values, 

-~ = tan a. 
ace 

If we so place the origin of co-ordinates that the curve 
shall lie within the first angle, h will be positive, and 
y r — y will be positive at all points where the curve 



126 



DIFFERENTIAL CALCULUS. [SEC. IV, 



recedes from the axis of X, and negative where it ap- 
proaches the axis; and this is true for consecutive as well 
as for other values. Hence, the curve will recede from the 
axis of X when the first differential coefficient is positive, 
and approach the axis when that coefficient is negative. 

The general proposition for all the angles and every 
possible relatipn of y and x, is this : 

The curve will recede from the axis of X when the 
ordinate and first differential coefficient have the same 
sign, and approach it when they have different signs. 



1. To determine whether a 
given curve, as ABC, recedes 
from, or approaches to the axis 
of X, at any point, as C : 
Find, from the equation of the 
curve, the first differential co- 
efficient, and see whether it is 
positive or negative. 




2. If the tangent becomes parallel to the axis of X 
at any point, as B, 



dy 
dx 



= tan a = ; hence, a = 0. 



If the tangent becomes perpendicular to the axis of X f 
at any point, as A 



dy 
dx 



z= tan a = oo ; hence, a = 90°. 



SEC. IV.] SUCCESSIVE DIFFERENTIALS. 



127 



Sign of the second differential coefficient. 

73. A curve is convex towards the axis of abscissas 
when it lies between the chord and the axis ; and con- 
cave, when the chord lies between the curve and the axis. 

1. « 2. 

jl?" I * 



& 




M 



W 




M n 



O M 



M' 



M" 



Figures (1) and (2) denote two curves, the one con- 
vex and the other concave towards the axis of -3T. 

Let PM be any ordinate of either curve, P'M r an 
ordinate consecutive with it, and P n M" an ordinate con- 
secutive with P f M r . 

If we designate the ordinate PM by y, P f Q' will be 
denoted by dy (Art. 21), and we shall have, 

P'M' = y + dy; 

and since P"M" is consecutive with P f M\ 

P"M" = y + dy + d(y + dy) 
= y + 2dy + d 2 y. 

MP + P"M" 



Since, 



nence, 



and 



MM' = M f M " = dx, QM' = 

qm' = y + y + 2d v + &y z 

QM'-PM'= QP - ^. 



y + <?y + 



<? 2 y 

2 ■ 



128 



DIFFERENTIAL CALCULUS. 



[SEC. IV. 



In the case of convexity, QM' > P'M\ and then, 
d 2 y is positive. 



1. 





M' M" 



In the case of concavity, QM 1 < PM\ and then, 
cPy is negative ; and since dx 2 is always positive, the 
second differential coefficient will have the same sign as 
the second differential of y. 

If we take the case in which the ordinates are nega- 
tive, the second differential coefficient will still have the 
same sign as the ordinate, when the curve is convex, 
and a different sign when it is concave. Hence, 

The second differential coefficient will have the same 
sign as the ordinate when the curve is convex towards 
the axis of abscissas, and a contrary sign when it is 
concave. 

1. The second differential of y is derived from dy in 
the same way that dy is derived from y (Art. 72) ; viz. : 
by producing the chord PP\ and finding the difference of 
the consecutive values of P"Q n and SQ", which is P"S. 

The co-ordinates x and y determine a single point of 
the curve, as P ; these, in connection with dx and dy, 
determine a second point, P\ consecutive with the first ; 
and these two sets of values, in connection with the sec- 
ond differential of y, determine a third point, P", con- 
secutive with P. 



SEC. IV.] SUCCESSIVE DIFFERENTIALS. 129 

Hence, the co-ordinates x and y, and the first and second 
differential coefficients, always determine three consecutive 
points of a curve. 

2. When the curve is convex towards the axis of 
abscissas, the tangent of the angle which the tangent line 
makes with the axis of JT, is an increasing function of 
x ; hence, its differential coefficient, that is, the second 
differential of the function, ought to be, as we have found 
it, positive (Art. 19). 

When the curve is concave, the first differential coeffi- 
cient is a decreasing function of the abscissas ; hence, the 
second differential coefficient should be negative (Art. 19). 

Applications. 

74. The equation of the circle, referred to its centre 
and rectangular axes, is, 

x 2 -\- y 2 — R 2 \ hence, -~- = • 

u ' dx y 

x 
Placing = 0, we have, x = 0. 

Substituting this value of x in the equation of the circle, 
we have, 

y = ±-#; 

hence, the tangent is parallel to the axis of abscissas at 
the two points where the axis of ordinates intersects the 
circumference. 

du x 

If we make, ~- = = go , we have. y = ; 

dx y * ■ 

substituting this value in the equation of the circle, 

x =? 3= H ; hence, 



130 DIFFERENTIAL CALCULUS. [SEC. TV. 

the tangent is perpendicular to the axis of abscissas at 
the points where the axis intersects the circumference. 

1. For the second differential coefficient, we find, 

d 2 y IP 

dx 2 ~~ y 3 ' 

which will be negative when y is positive, and positive 
when y is negative. Hence, the circumference of the 
circle is concave towards the axis of abscissas. 

2. If we apply the same process to the equation of 
the ellipse, of the parabola, and of the hyperbola, we 
shall find that the tangents, at the principal vertices, are 
parallel to the axes of ordinates ; that the second differ- 
ential coefficient and ordinate, in all the cases, except that 
of the opposite hyperbolas, have contrary signs ; and hence, 
all these curves, except the conjugate hyperbolas, are con- 
cave towards the axis of abscissas. 

MACLAURIlSr's THEOREM. 

75. Maclauetn's Theorem explains the method of de* 
veloping into a series any function of a single variable. 
Let u denote any function of x, as, for example, 

u = (a + x) m (1.) 

It is required to develop this, or any other function of 
x, into a series of the form, 

u = A + Bx + Cx 2 + Dx 3 + Mc* + &c. . . (2.) 

in which A, 2?, (7, D, &c, are independent of x, and 
arbitrary functions of the constants which enter into the 



SEC. IY.] MACLAURIN'S THEOREM. 131 

second member of Equation ( 1 ). When these coeffi- 
cients are found, the form of the series will be known. 

Since the coefficients, A, B, (7, &c, are, by hypothesis, 
independent of cc, each will have the same value for 
x = 0, as for any other value of x\ hence, it is only 
necessary to determine them for x = 0. 

If we make x = 0, in Equation (2), all the terms 
in the second member, after the first, will become zero, 
and the second member will reduce to A, which is what 
the function u becomes in Equation ( 1 ), when x = 
That value is thus indicated : 

(w)»_0 = A * 

If we find the successive differential coefficients of u % 
from Equation (2), we shall have, 

$ = B + 2 Ox + SBx 2 + ±Ex 3 + &g. 
ax 

^ = 2(7 + 2.3l)x + ZAEx 2 + &c. 
dx 2 

^ = 2.3D + 2.3 AMc + &c. 
ax 3 

&c, &c. ; 

whence, A = {u) Xtsx0 



\dx/ x „o 
~~ 1.2\dx 2 / x =o 



D = 



(£) . &c > &c -; 



1.2.3V dx 3 / x ^o 



132 DIFFERENTIAL CALCULUS. [SEC. IV. 

hence, 

■ = w— + (sL." + o(£L„ a!, 

which is Maclaurin's Formula. In applying the formula, 
we omit the expressions x = 0, although £Ae coefficients 
are always found under this hypothesis. 

EXAMPLES. 

1. Develop (a + #) m , by Maclaurin's Formula, 
J. = a m , 
J? = ( — j == m(a + x) m - 1 = ma™" 1 , 

° " 2WW " 1.2 (a + a) - 1.2 a ' 

^ - 1.2.8\dW "" 1 2 3 (a + 35) 

m (m — 1) (m — 2) 

— -a m - 



m — 3 



12 3 

&a, &c, &c. 

Substituting these values in Equation ( 2 ), we have, 

yn \7n — ~ 1 1 
(a + a)" = a OT + ma m " 1 x + T - — 'a m ~ 2 x 2 

1 2i 

+ m^_l)(m- A ) am _ 3a;3 + &c>; 
the same result as found by the Binomial Formula. 



SEC. IV.] MACLAURIN'S theoeem. 133 

2. If the function is of the form, 

u = -4— = (« + «>""' = aW 1 + "Y^ 

a 4- x v ' \ at 

we find, 

a 



- ULo ~ " 1 ( a + a! ) 2 - -(a + «) 2 ~ a 2 ' 



[? */^\ - 1 X - 2(a + cc)~ 3 _ JL 

2\dte 2 / a ,- " 2 := a 3 ' 

^ __ J_A#M — 1 x - 2 x — 3(a + a;)- 4 _ 1 

2.3Wic 3 / a . ==0 ~ 2.3 :: a 4 ' 

&a, &c 6 , &c. 

Substituting these values in Maclaurin's Formula, 

1 1 x , x 2 x 3 , x 5 x~ , „ 

•7* /y«J //* riP n? 



1 
»2\2 



a + ic a a 2 a 3 a 4 a 6 a 1 

3. Develop into a series, the function, 

u = -|/a 2 + a; 2 = all H — -1 

4. Develop into a series, the function, 
= y{a? - a?)» = a*(l - g) 



2 

,2\3- 



W 



Note. 76. Maclaurin's Formula has been demonstrated 
under the supposition, that in Equation ( 2 ) the coef- 
ficients are independent of #, and that the equation is 



134 DIFFERENTIAL CALCULUS. [SEC. IV. 

true for every possible value that can be attributed to 
x. If, then, the function u becomes infinite, when x = 0, 
the equation cannot be satisfied; neither can it be, if 
any one of the differential coefficients becomes infinite. 
Hence, any form of the function which produces either 
of these results, is excluded froni the formula of Mac- 
laurin. The functions, 

u = log x, u = cot Xj u = ax 2 , 

are examples of such functions. In the first case, 
u = — oo , when x = ; * in the second, u — oo , 
when x = ; and in the third, B, and the succeeding 
differential coefficients, become infinite, when x = 0. 



tayloe's THEOEEM. 

77. Taylor's Theorem explains the method of develop- 
ing into a series any function of the sum or difference 
of two independent variables. 

78. Since the sum or difference of two independent 
variables may always be denoted by a single letter, any 
function of the form, 

u[ = f(x ± y\ 

may be put under the form, 

v! = f(z)i hy making z — x ± y. 

If we suppose z to be the abscissa, and u' the or- 
dinate of a curve, and give to z an increment A, z will 

* Bourdon, Art. 235. University, Art. 1§6. Lcgendre, Trig., Art. 22 . 



6KC. IV.] taylok's theorem. 135 

become z + h. Ifwe pass to consecutive values, dz = dx, 
and 

du' du f • . . _ N 

— = — == tan a. (Art. 13.) 

If we suppose x to remain constant, and y to receive 
the increment A, s will again become z + A, and when 
we pass to consecutive values, 

du f du f 

- T - = -=— = tan a. 
as ay 

Hence, in any function of the sum or difference of two 
independent variables, the partial differential coefficients 
are equal (Art. 32). 

79. As an example, take, 

•*' = (« + y) n . 

If we suppose x to vary, the first partial differential 
coefficient is, 

- = n(x + y)*-\ 

If we suppose y to vary, it is, 

and the same may be shown for the differential coe£ 
ficients of the higher orders. 

80. If any function of the form, 
u> = f(x + y\ 
be developed into a series, it is plain that the series 



136 DIFFERENTIAL CALCULUS. [SEC. IV. 

must have terms containing the variables x and y, and 
that the constants, which enter into the given function, 
must also enter into the development. Let us then 
assume, 

J\u')=f(x + y)=.A + By«+Cy b + Di, c + &c. (1.) 

in which the terms are arranged according to the ascend* 
ing powers of y, and in which A, jB, (7, .Z), &c., are 
independent of y, but functions of cc, and arbitrary func- 
tions of all the constants which enter the primitive func- 
tion. It is now required to find such values for the ex- 
ponents a, 5, c, &c, and for the coefficients -4, J5, (7, -Z), &c, 
as shall render the development true for all possible values 
that may be attributed to x and y. 

In the first place, there can be no negative exponents. 
For, if any term were of the form, 



it might be written, 



Bys 

B 

2/"' 



and making y = 0, this term would become infinite, 
and we should have, 

u' = f(x) = co, 

which is absurd, since the function of x, which is inde- 
pendent of y, does not necessarily become infinite when 

y = o. 

The first term A> of the development, is the value 
which the primitive function u f assumes when we mako 

y = o. 



SEC. IV.J TAYLOR'S THEOREM. 137 

If we designate this value by w, we shall have, 

u = f(x). 

If we differentiate Equation ( 1 ), under the supposition 
that x varies, the partial differential coefficient is, 

du' dA dB , dO . , dJD 

and if we differentiate, regarding y as a variable, the 
partial differential coefficient is, 

du f 

j- = aBy*- 1 + bCy b ~ l + cBy c ~ l + &c. . . (3.) 

But these differential coefficients are equal to each other 
(Art. 78) ; hence, the second members of Equations ( 2 ) 
and ( 3 ) are equal. Since the coefficients are inde- 
pendent of y, and the equality exists whatever be the 
value of y, it follows that the corresponding terms in 
each series will contain like powers of y, and that the 
coefficients of y in these terms will be equal.* Hence, 

a — 1 = 0, ft — 1 = a, c — 1=5, &c, 

and consequently, 

a = 1, b = 2, c = 3, &c. 

Comparing the coefficients, we find, 

B — C - - — B -- - — • 

dx ' 2 dx ' 3 dx * 

* Bourdon, Art. 195. University, Art. 17§ # 



138 DIFFERENTIAL CALCULUS. [SEC. IV. 

Since we have made, 

J\x + y) = u\ and J\x) = A = u, 

we shall have, 



dx J 1.2dx 2 ' l^cfo 3 ' 

and consequently, 

, , du d 2 u y 2 , d 3 u y 3 

which is the formula of Taylor. 

In thfs formula, u is what u r becomes, when y = 0; 
du , du f , , _ J 2 ^ , . c? 2 ^' 



■ , what -=— becomes when y = ; -^ , what 



cfc' cfc * ~ ' cfo 2 ' dx 2 

becomes when y = 0; and similarly for the other coef- 
ficients. 

1. Let it be required to develop 

v! = j\x + y) = (x + y)% 

by this formula. 

We find, 

du , d 2 u , - « , e_ 

7 <£e die 2 v ' 

hence, 

. wfn — 1) „ 
u ' = (a; + 2/) n = a n + nx n - 1 y H — — — - — L x n ~ 2 y % 



SECTION V. 



MAXIMA AND MINIMA. 

§1. A maximum value of a variable function is greater 
than the consecutive value which precedes, and the con- 
secutive value which follows it. 

A minimum value of a variable function is less than 
the consecutive value which precedes, and the consecutive 
value which follows it. 

If we denote any variable function by u, and the inde- 
pendent variable by cc, every relation between u and x 
will be denoted by the co-ordinates of a curve whose 
equation is (Art. 10), 



u 



/(*). 



Let u f denote the consecutive or- 
dinate which precedes u, and u" the 
consecutive ordinate which follows it. 
Then, if u is a maximum, 



u > u\ 



and 



u > u" ; 



the curve therefore ascends just before the ordinate reaches 
a maximum value, and descends immediately afterwards; 
hence, at the point of maximum, it is concave towards 
the axis of abscissas (Art. ?3). 

Since the curve ascends just before the ordinate reaches 
the maximum value, the first differential coefiicient will 
be positive ; and since it then descends, the first differ- 
ential coefiicient will be negative immediately after the 



140 DIFFERENTIAL CALCULUS. [SEC. V. 

maximum value (Art. 72). Hence, at the point of 
maximum value of the ordinate, the first differential co- 
efficient will change its sign, and therefore passes through 0. 
Since the curve is concave towards the axis of absd.33as, 
the second differential coefficient is negative (Art. 73) ; 
hence, the conditions of a maximum value of u are, 

du _ d 2 u 

s = 0, and w , negative. 

82. Denoting the consecutive or- 
dinates, as before, by u\ u, u'\ if 



u < u\ and u < u" ; 



the curve, therefore, descends just before the ordinate 
reaches a minimum, and ascends immediately afterwards/ 
hence, at the point of minimum, it is convex towards 
the axis of abscissas. 

Since the curve descends just before the ordinate reaches 
the minimum value, the first differential coefficient will be 
negative; and since it then ascends, the first differential 
coefficient will be positive immediately after the minimum 
value (Art. 72). Hence, at the point of minimum value 
of the ordinate, the first differential coefficient will change 
its sign, and therefore passes through 0. 

Since the curve is convex towards the axis of abscissas, 
the second differential coefficient is positive (Art. 73) ; 
hence, the conditions of a minimum value of w, are, 

s = 0, and ggj, positive. 



SEC. V.] 



MAXIMA AND MINIMA. 



141 



83. Hence, to find the maximum or minimum value 
of a function of a single variable: 

1. Find the first differential coefficient of the function, 
place it equal to 0, and determine the roots of the equation. 

2. Find the second differential coefficient, and substi- 
tute each real root, in succession, for the variable in the 
second member of the equation; each root which gives a 
negative result, will correspond to a maximum value of the 
function, and each which gives a positive result will cor- 
respond to a minimum value. 

Point of inflection. 

§4. A point of inflection is a point at which a curve 
changes its curvature with respect to the axis of ab- 
scissas. 

When a curve is concave towards 
the axis of abscissas, its second differ- 
ential coefficient is negative (Art. 7S) ; 
when it is convex, the second differ- 
ential coefficient is positive (Art. 72) : 
therefore, at the point where the 
curve changes its curvature, the 
second differential coefficient changes 
its sign, and consequently passes 
through zero. 

In the first figure, the second differential coefficient, 
at the point M, changes from negative to positive ; in 
the second, from positive to negative. At the point M, 
in both figures, the first differential coefficient is equal 
to 0, and the tangent line separates the two branches 



A 



■>c 




142 DIFFEEEXTI AL CALCULUS. [SEC. V. 

of the curve, When the second differential coefficient is 
0, the ordinate at the point has neither a maximum nor 
a minimum. 

There are three consecutive points of the curve which 
coincide with the tangent, at the point of inflection. This 
is shown by the equality of the co-ordinates of the point 
M (in the curve and tangent), and of the first and sec- 
ond differentials. 

EXAMPLES. 

1. To find the value of x which will render the func- 
tion y a maximum or minimum in the equation of the 
circle, 

v 2 4- v 2 - R 2 -^ - - — - • 

x 
making, = 0, gives, x = 0. 

The second differential coefficient is, 
d 2 y x 2 + y 2 



dx 1 ' y 



3 



When, x = 0, y = H; 



hence ' S = - 5' 

which being negative, y is a maximum for JR positive. 

2. Find the values of x which render the function y 
a maximum or minimum in the equation, 

y = a — bx + x 2 . Differentiating, 
-T- = — b + 2<c, and -=% = 2 : 



SEC. Y.J MAXIMA AND MINIMA. 143 

and making, — b + 2x = 0, 

b 
gives, x = -• 

Since the second differential coefficient is. positive, this 
value of x will render y a minimum. The minimum 
value of y is found by substituting the value of #, in 
the primitive equation. It is, 

b* 

y = *- -- 

3. Find the value of x which will render the function 
u a maximum or minimum in the equation, 

u = a 4 + b 3 x — c 2 as 2 . 
- = &3_2c 2 *, hence, x = — , 

and -^-z = — 2c 2 ; 

hence, the function is a maximum, and the maximum 
value is, 

4. Let us take the function, 

u = 3a 2 x 3 — b 4 x + c 5 . 

•7?/ fi 2 

We find, ^ r= 9a 2 x 2 - b\ and x = ± — . 

The second differential coefficient is, 



144 DIFFERENTIAL CALCULUS. [SEC. V. 

Substituting the plus root of x, we have, 

2* = + 6aJ2 ' 

which gives a minimum, and substituting the negative 
root, we have, 

£--«* 

which gives a maximum. 
The minimum value of the function is, 



u 



, 25 6 
9a 3 

and the maximum value, 

u = c 5 + — - • 
9a 



5. Find the values of a?, which make u a maximum 
or minimum in the equation, 

u = cc 5 — 5cc 4 + 5x 3 — 1. 



. ( as = 1, a maximum. 
( a = 3, a minimum. 



6. Find the values of a?, which make u a maximum 
or minimum in the equation, 

u = x 3 — 9x 2 + 15a; - 3. 

( cc = + 1, a maximum. 
( x = + 5, a minimum. 



SECY.] MAXIMA AND MINIMA. 145 

7. Find the values of #, which make u a maximum 
or minimum in the equation, 

u — x 3 — Sx 2 + 3x + 7. 
Arts. There is no such value of &, since the second differ- 
ential coefficient reduces to 0, for x = 1 ; hence, only 
one condition of a maximum or minimum is fulfilled.* 

§5. Notes, 1. In applying the preceding rules to 
practical examples, we first find an expression for the 
function which is to be made a maximum or minimum. 

2. If in such expression, a constant quantity is found 
as a factor, it may be omitted in the operation; for the 
product will be a maximum or a minimum when the 
variable factor is a maximum or minimum. 

3. Any value of the independent variable which renders 
a function a maximum or a minimum, will render any 
power or root of that function, a maximum or minimum; 
hence, we may square both members of an equation to 
free it of radicals, before differentiating. 

8. To find the maximum rectangle which can be in- 
scribed in a given triangle. 

Let b denote the base of the triangle, h the altitude, 
y the base of the rectangle, and x its altitude. Then, 

u = xy — the area of the rectangle. 

But, b : h : : y : h — x ; 

bh — bx 
hence, y = , 

* We have limited the discussion to a single class of maxima and 
minima, viz. : that in which the first differential coefficient of the func- 
tion is 0, and the second negative or positive. 



146 



DIFFERENTIAL CALCULUS. 



[sec. V. 



and consequently, 



u 



bhx — bx 2 b.\ 9N 

—A— = h {hX ~ *> 5 



and omitting the constant factor — , we may write, 

u' — hx — x 2 ; 

for, the value of #, which makes vJ a maximum, will make 
u a maximum (Art. 85) ; hence, 



du r 
dx 



= h — 2a?, 



or, 



h 



therefore, the altitude of the rectangle is equal to half 
the altitude of the triangle ; and since, 



d 2 W 
dx 2 



= -2, 



the area is a maximum (Art. §i). 

9. What is the altitude of a cylinder inscribed in a 
given cone, when the volume of the cylinder is a maxi- 
mum? 

Suppose the cylinder to he in- 
scribed, as in the figure, and let 

AB-a, BC=b, AZ> = x, JSJB = y; 

then, 3D = a — x = altitude of 
the cylinder, and 

«y 2 {a — x)* = volume = v . . (1.) 

From the similar triangles AED 
and ACB, we have, 

* Legendre, Bk. VIII. Prop. 2. 




SEC. V.] 



MAXIMA AND MINIMA. 



147 



x : y : : a : b ; whence, 



bx 

y = — « 



Substituting this value in Equation ( 1 ), we have, 

a 2 ' 

Omitting the constant factor — — , we may write, 

a 

v' = x 2 (a — x) ; 

for, the conditions which will make v' a maximum, will 
also make v a maximum (Art. 85). 

By differentiating, we have, 
dv' 



Placing, 
we have, 

But, 



= 2ax — 3x 2 . 
ax 

2ax — 3a 2 = 0, 
x = 0, and 
cPv' 



2 

x = -a. 



dx 2 



= 2a — 6x = 



2a. 



Hence, the cylinder is a maximum, when its altitude is 

one-third the altitude of the cone. 

10. What is the altitude of a 
cone inscribed in a given sphere, 
when the volume is a maximum? 

Denote the radius of the given 
sphere by r, and the centre by C. 
Let A be the vertex of the re- 
quired cone, BB the radius of its 

base, which denote by y, and denote the altitude AB 
by x. Then, 




148 DIFFERENTIAL CALCULUS. [SEC. V. 

y 2 = 2rx — x 2 ; * 
and if we denote the volume of the cone by v, 

v = %«x(2rx — x 2 ) = %«{2rx 2 — x 2 ).\ 
Omitting the constant factor £tf, we have, 



dx 

4rx — 3x 2 



= 4nc — 3a; 2 ; hence, 



0, and 



x = -r: 



that is, the altitude of the cone is four-thirds of the 
radius. 



11. What is the altitude of a cone inscribed in a sphere 
when the convex surface is a maximum ? 



Ans, - r. 
3 



12. What is the length of the axis of a maximum 
parabola which can be cut from a given right cone with 
a circular base? 

Let BA G be a section of the 
cone by a plane passed through the 
axis; and FDQ a parabola made 
by a plane parallel to the element 
BA. 

Denote BC by #, AB by a, and 
CE by x ; then, BE = b — x> 
and J^, the common ordinate of 
the circle and parabola, is equal to 
^bx — x 2 .\ 

* An. G., Bk. II. Art. 4—8. f Le S-> Bk - VIII. Pr0 P- 5 - 

% Legendre, Bk. IV. Prop. 23. Cor. 2. 




SECT.] MAXIMA AND MINIMA. 149 

By similar triangles, we have, 



b : a : : x : ^- = DK 
o 



Hence, the area of the parabola (Art. 59) is, 



2 ace 



u = --j--\/bx — x 2 . 

Omitting the constant factors, and remembering that the 
same value of #, which renders u a maximum, will render 
its square a maximum (Art. 79), and designating by v! 
the new function, we have, 

u ! = x 2 (bx — x 2 ) = bx 3 — cc 4 , and 
^- = 3fo 2 - 4*' ; or, x = -b ; and DE = -AB. 

d/X 4 4 

that is, the axis of the maximum parabola is three-fourths 
the slant height of the cone. 

13. What is the altitude of the maximum rectangle 
which can be inscribed in a given parabola? 

Ans. Two-thirds of the axis. 

14. What are the sides of the maximum rectangle in- 
scribed in a given circle ? 

Ans. A square whose side is r^/2. 

15. A cylindrical vessel, open at top, is to contain a 
given quantity :f water. What is the relation between 
the radius of tne base and the altitude, when the inte- 
rior surface is a minimum? 

Ans. Altitude = radius of base. 



150 DIFFERENTIAL CALCULUS. [SEC. V, 

16. Required the maximum right-angled triangle which 
••an be constructed on a given line, as a hypothenuse ? 

Arts. When it is isosceles. 

17. Required the least triangle which can be formed 
by the two radii, produced, and a tangent line to the 
quadrant of a given circle ? Ans. When it is isosceles. 

18. What is the altitude of the maximum cylinder 
which can be inscribed in a given paraboloid? 

Ans. Half the axis. 

19. What is the altitude of a cylinder inscribed in a 
given sphere when its convex surface is a maximum? 

Ans. ri/2. 

20. What is the altitude of a cylinder inscribed in a 

given sphere, when its volume is a maximum? 

2r 

Ans. ~~F ' 
V3 

21. Required the base of the maximum rectangle which 
can be inscribed in a given ellipse whose semi-axes are A 
and B. Ans. Ay/2. 

22. A rectangular sheep-fold, to contain a given area y 
is to be built against a wall. Required the ratio of the 
least side to the larger, so that the cost shall be a min- 
imum. A?is. 2. 

23. To circumscribe a given circle whose radius is r, 
by an isosceles triangle whose area shall be a minimum. 

Ans. Perpendicular to base = 3r 



SECTION VI. 

DIFFERENTIALS OF TRANSCENDENTAL FUNCTIONS. 
Differentials of Exponential and Logarithmic functions. 

§6. An Exponential function is one in which the in- 
dependent variable enters as an exponent; as, 

u = a x ....... (1.) 

I£ in a function of this form, we give to x an incro 
ment A, we have, 

u r = a x + h = a x a h .... (2.) 

Subtracting Equation ( 1 ) from ( 2 ), member from mem- 
ber, we have, 

u' — u — a x a h — a x = a x (a h — 1) ; 

whence, — = a h — 1 (3.) 

\ a x v 7 

Put, a = 1 + by and develop by the binomial formula; 
we then have, 



152 DIFFERENTIAL CALCULUS. [SEC. VI. 

Substituting this value of a\ in Equation ( 3 ), and 
dividing by A, we have, 

If we now pass to consecutive values, by making h 
numerically equal to 0, we have, 

du . £ 2 , P b* b' M 



a*cfc " 2 3 4 5 

and putting for J its value, a — 1, we have, 

■* _ a _!_ i«=l)! + (£=!}!- (EZ?! 4 + &, (4.) 



a x dx ' 2 3 4 

Denoting the second member of Equation (4) by &, 
we have, 

— — = &, or, c?w = da x = a x Jcdx . . (5.) 

that is, the differential of a function of the form a*, is 
ejwaZ to £Ag function, into a constant quantity Jc, de- 
pendent on a, into the differential of the exponent. 

Relation between a and Tc. 

87. The relation between a and Jc is very peculiar, 
and may be determined by Maclaurin's Formula, 

-- — (.) + (S- + £©W rUSK 

+ &c (6.) 



SEC. VI.] EXPONENTIAL FUNCTIONS. 153 

First, if we make x = 0, the function a x = 1 = yuy 
The successive differential coefficients are found from 
Equation ( 5 ) ; viz. : 



2 = *'*, and (|) = *; 

d\ -=- i = -=— = *?a*& = a x Ic 2 dx: hence, 
\dxj ax 

£ = <**■ - (£) = *'; 

= a*& 3 , and (^J = Jc\ 



dhc 
dx 3 



&c, &c., &c. 

Substituting these values in Equation ( 6 ), we have, 
, , Jcx , h 2 x 2 , 7c 3 x 3 D 

If we make x = -, we shall have, 

designating the second member of the equation by 0, and 
employing twelve terms of the series, we find, 

e = 2.7182818. . . . ; 

1 
hence, a k = e, therefore, a = e k . . (7.) 

Equation ( 1 ) expresses the relation between a and Jc. 



154 DIFFERENTIAL CALCULUS. [SEC. VI. 

A system of logarithms, called the Naperian system, 
has been constructed, whose base is, e = 2.7182818.... 
This, and the common system, whose base is 10, are the 
only systems in use. The logarithms, in the Naperian 
system, are denoted by /, and in the common system 
by log. We see from Equation ( 7 ), that h is the 
Naperian logarithm of the number a. If we take the 
common logarithms of both members of Equation (7), we 
shall have, 

log a = h log e (8.) 

The common logarithm of e = log 2.7182818 . . . . 
= .434284482 . . . . , is called the modulus of the common 
system, and is denoted by M. Hence, if we have the 
Nqperian logarithm of a number, we can find the com- 
mon logarithm of the same number by multiplying by 
the modulus. 

I£ in Equation (8), we make a = 10, we have, 

1 = &loge; or, = = log e = M; 

that is, the modulus of the common system is also equal 
to 1, divided by the Naperian logarithm of the common 
base. 

§§, From Equation (5), we have, 

du _ da* M 

u a x 

If we make a = 10, the base of the common system, 
x = log w, and 

dU 1 <% u nr 

dx = ™ x , = — x Jf ; 

u k u 



SEC. VI.] LOGAEITHMIC FUNCTIONS. 155 

that is, the differential of a common logarithm of a 
qua?itity is equal to the differential of the quantity di- 
vided by the quantity into the modulus, 

89. If we make a — e, the base of the Naperian 
system, x becomes the Naperian logarithm, of u, and h 
becomes 1 : see Equation (7) ; hence, M = 1 ; and 

du 

dx = — ; 
a x 

that is, the differential of a Naperian logarithm of a 
quantity is equal to the differential of the quantity di- 
vided by the quantity / and in this system, the modulus 
is 1. 

90. Having found that Jc is the Naperian logarithm 
of a, we have from Equation ( 5 ), 

du = a x ladx\ 

that is, the differential of a function of the form a x , 
is equal to the function, into the Naperian logarithm 
of the base a, into the differential of the exponent. 

EXAMPLES. 

1. Find the differential of u = a x . 

du =z a* ladx. 

2. Find the differential of u = Ix. 

du = — = x~ l dx. 
x 

Note. This case would seem to admit of integration 
by the rule of Art. 35; but that .~ule applies to alge- 



156 DIFFERENTIAL CALCULUS. [SEC. VI. 

braic functions only, and this form is derived from a 
transcendental function. 

3. Find the differential of u = y x . 

lu = xly; hence, 

du dy . _ , , 

— = x~ + lydx: hence, 

u y 

by dealing of fractions, and reducing, 

du = xy x ~ l dy + y x lydx; 

that is, equal to the sum of the partial differentials 
(Art. 32). 

4. Find by logarithms the differential of w = xy. 

lu = Ix + ly\* hence, 

du dx t dy ^ . _ . 

— = 1 — -; and by reducing, 

u x y 

du = ydx + xdy (Art. 27). 

x 

5. Find by logarithms the differential of u = - • 

?m = ?# __ ?y ;f hence, by differentiating, 

du dx dy ., , ., . 

— = ; and by reducing, 

u x y 9 J &i 



du = ydx-xdy (Art ^ 9)< 



y 2 



* Bourdon, Art. 230. University, Art. 1§5. 
f Bourdon, Art. 231. University, Art. 185. 



ssc. vi.] logarithmic functions 157 

(x 4- a\ 
) . 
a — x) 



T 2adx 

au = 



a 2 — x* 



7. Find the differential of u = J[— 7=) 



aw = 



a(a 2 + a 2 ) 



8, Find the differential of u = (a* + l) 2 . 

c?w = 2a x (a x + l)?acfo. 

^ar j 

9. Find the differential of u = • 

a* + 1 

, 2a x £ a dx 

10. Find the differential of u = — — (?)*. 

*.-.@r(isi.)* 

Differential forms which have known integrals. 

91 • If we have a differential in a fractional form, in 
which the numerator is the differential of the denomina- 
tor, we know that the integral is the Naperian logarithm 
of the denominator (Art. §9). It frequently happens, 
however, that we have to deal with fractional differen- 
tials which are not of this form, but which, by certain 
algebraic artifices, may be reduced to it. We shall give 
a few examples of such reductions. 



158 DIFFERENTIAL CALCULUS. [SEC. VL 

dx 



Form 1. 



/- 



yS 2 d= a 2 

Put sc 2 ± a 2 = ^ 2 ; then, cccfe = vdi;. 
Add ^c&e to both members; then, 

xdx + vdx = vdx + vdv ; hence, 
(« + v)dx == #(efo + c?v) ; whence, 
dx + dv cfe cfe 



« + v t> <y/x 2 ± a 2 

^cfe + ;<fo f dx 



; hence, 






+ v J •y/x T ±. a 2 

But in the first member, the numerator is the differen- 
tial of the denominator ; hence, 

f-J?L= = l(x + v) = l(x + ^fif±~tf). 



Form 2. y 



c£c 



yS 2 "^: 2aa5 



Put \fx 2 ± 2aaj = -y ; then, a 2 ± 2ax = v 2 . 

Adding a 2 to both members, and extracting the square 
root, 

x ± a = y/v 2 + a 2 ; hence, <?cc = - — : , 

y v 2 4- a 2 

dx dv 



and 



y^i 2aa " y^ 2 + a 2 



SEC. TI.] LOGARITHMIC FUNCTIONS. 159 

But from the first form, 

J V^2 + a 2 



Substituting for v its value, and for <\AJP+ a 2 , its value, 
f dx = l (x ± a + -y/x 2 =b 2a«). 



__ ^ 2adx 2adx 

Form 3. — -; or, 

/»« /VnJ ' 



^ __. ^ x z — a' 



. 2acfo 2ae£c cfe dx* 

Smce > ^ T 2 = /„ , ^ /„ ~\ = 7TT-Z + 



a 2 — x 2 " " (a + x) (a — x) ' ' a + x a — x 

r( dx dx \ r dx r dx 

J \a + x a — x) ' ~ J a + x J a — x 

r 2adx 7 / , x 7 / x 7 /a + x\ 

Also, / — = ? — - — • 

J x 2 — a 2 \x + a/ 



Form 4. 



(See Example 6, page 126.) 
2acfo 



ccya 2 ± x 2 
Put ya 2 _|_ x 2 __ v . whence, a 2 + x 2 = v 2 ; hence, 



*2 — 7?2 



v 2 — a 2 , and sccfo = vefo;, or, dx = 



* University, Art. 1§0. (See Art. 158.) 



160 DIFFERENTIAL CALCULUS. [SEC. VT- 

2a 
Multiply both members by — - — ; we have, 

xya 2 + x 2 

/2adx r 2adv Jv — a\ . 

— T = /i i = M — i — J 5 hence, 
a-y^+ X 2 J v 2 -a 1 \v + a 



/2adx llv® 2 + x2 ~~ a \ 

xVa 2 ~+ x 2 ' \ i/cf^x 2 + a) 

In like manner we should find, 

/2adx /a — -y/a 2 — x 2 \ 

xi/a? — x 2 \a + V^f — # 2 ' 



Form5. f~££=- 

J ya 2 + cc -2 

Put - = v; then, x~ 2 dx = — dv: and 

; first form. 



V^+ a~ 2 </a? + v 2 
x~~ 2 dx 



J \a? + x" 2 



_ _ ? /l + yT+ a 2 a: 2 \ 



6EC. VI.] LOGARITHMIC FUNCTIONS. 161 



2. 



5. 



TABLE OF FORMS. 



1. Ja x ladx = a* (Ex, 1.) 

f—=fdxx~i=lx (Ex.2.) 

3. f(xy x ~ l dy + y x iy X dx) = y* . (Ex. 3.) 



4. f—JL= = l(x + V^"± « 2 )- (Form 1.) 

J yx 2 ± a 2 



17 ycc 2 ± 2a# 



/2adx y /a + x\ /T ^ 

^^ = *[r^Y ( Form 3 -> 

V . /J^L = f-Z_«). (Forms.) 

«/a 2 — a 2 Vc + a/ v y 



— , = H v y )• (Form 4.) 

xya? + x 2 \^a 2 + x 2 + a' 

9 - / r* 2 = z ~T /=f=2)' (Form 4,) 

•/ xya 2 — x 2 \a + y a 2 — a 2 / 

/ -t/^J- a" 2 \ « / 



V^M- a- 2 



162 



DIFFERENTIAL CALCULUS. 



[sec. VI. 




RCA 



CIRCULAR FUNCTIONS. 

92. Let be the centre of a circle, 
A the origin of arc, and B C, DH any 
two consecutive ordinates. Draw BE 
parallel to OA; draw the radius OB, 
and denote it by 1. Denote the arc 
AB by z, and suppose z to be the independent vari- 
able. Then, BD will be the differential of the arc AB; 
ED, the differential of the sine, and JEB the differential 
of the cosine, which will be negative, since it is a de- 
creasing function of the arc (Art. 19). 

93. Since the triangles OBC anS DEB, have their 
sides respectively perpendicular to each other, they will 
be similar;* hence, 

OB : 00 :: BD : DE; or, 

1 : cos z : : dz : d sin z ; whence, 

d sin z = cos zdz . . . . . (1.) 



94. Again, 1 : sins : : dz : — - dcosz; whence, 

d cos z = — sin z dz . . . . (2.) 

95. Since, 

cos z = 1 — ver-sin 3, d cos z = — d ver-sin z ; 
hence, d ver-sin z = sin z dz . . . . (3.) 



* Le^endre, Bk. IT. Prop. 21. 



SEC. VI.] 



CIKCULAR FUNCTIONS. 



163 



a sinz . 

96. Again, tan z — ; hence, 

& cos z 

, A cos z d sin z — sin z d cos z , . 
tftans = — (Art. 29). 

Substituting for d sin z and d cos z, their values from 
Equations ( 1 ) and ( 2 ), we have, 



d tan z = 



dz 



GO&Z 



(4.) 



By similar processes, we can find the differentials of 
the co-versed-sine, cotangent, secant, and cosecant, in terms 
of the other functions and the differential of z. 



97. Denote the sine of the arc AB by y, its cosino 
by #, its versed sine by v, and its tangent by t. If 
we regard each of these as the independent variable, and 
the arc z as the common function, and find the values 
of z from Equations (1), (2), (3), and (4), we shall 
have, 



dz 



When radius = 1, 
dy 



dz = — 



dz = 



dx 



<y/l~— x 2 
dv 



dz = 



^2v — v 2 

dt 
1 + t 2 



(5.) 
(6.) 

(8.) 



When radius = 


»*, 


yr 2 — y 2 


.(9.) 




(10.) 


I*'*' .. . _ 4 

y?* 2 — x 2 


_ reft; 


• (11.) 


-v/2rw — v 2 


* = 2 , ^ • • • • 

r 2 + < 2 


(12.) 



164 DIFFEKENTIAL CALCULUS. [SEC. VI. 

The differential of the arc, in terms of either of the 
other functions is easily found. 

9S. The following notation is employed to designate 
an arc by means of any one of its functions. 

sin- 1 ^, denotes the arc of which u is the sine, 
cos -1 ^, denotes the arc of which u is the cosine, 
tan-%, denotes the arc of which u is the tangent, 

&c, &c., &c. 



If we denote the sine of an arc by - , instead of y, as 
in Equation (5), we shall have, 

u y du - , u 

V = ~» fy = — » and « = sm " x -- 
a a a 

Substituting these values in Equation (5), we have, 

dz = ——==. (13.) 

ya 2 — u 2 

Denoting the cosine of the arc by -, and making like 
substitutions in Equation (6), we have, 

*=\-±M= (14.) 

ya 2 — u 2 

Denoting the ver-sine of the arc by - , and making like 
«ubstitutions in Equation (7), we have, 



d/Z = — ■ : . . . . (15.) 

y 2cw— u 2 



SEC. VI.] CIRCULAR FUNCTIONS. 165 

u 

Denoting the tangent of an arc by - , we have from 

Equation (8), 

dz = — — r (16.) 

a 2 + u 2 v J 



EXAMPLES. 

1. Differentiate the function, 

z == cos-^w-y/l — w 2 ). 
(- 1 + 2w 2 )c?w 



dfe = 



-v/0~"- u 2 '+ u*) (1 - t* 2 ) 

2. Differentiate the function, 

3 = sin- 1 (2w-y/l — w 2 ) . dz = 



3. Differentiate the function, 

. a; y ydx — sedy 

g = tan- 1 -, dz = ^— - — ^ • 

y 2/ 2 + a 2 

4. Differentiate the function, 

z = coscc sin *. 
Make, cos a; = w, and sin a; = y ; 
then, s = wy, and, (Art. 90), 

dz = uvludy + yuv- l du\ 
also, dfo = — smxdx, and cZy = cos # dec; 



106 DIFFERENTIAL CALCULUS. [SEC. VI. 

hence, dz = uv \ludy + - du\ 

e . r / 7 sin 2 #\ 7 

= cos x sinz [l cos # cos a; )dx. 

\ cos x) 

Differential forms which have known Integrals. 

99. The first four equations in Art. 92 furnish us four 
forms, by taking the integrals of both members. Equations 
(5), (6), (7), and (8), are of the same form as Equations 
( 9 ), ( 10 ), ( 11 ), and ( 12 ), except that the radius is 
1 in the first set, and r in the second; hence, the arc 
z y in each equation of the second set, is r times as great 
as in the corresponding equation of the first set.* 

Forms (13), (14), (15), and (16), are modified forms 
of ( 5 ), ( 6 ), ( 1 ), and ( 8 ). They differ from them only 
in the symbol by which the function of the arc is denoted. 



TABLE OF FOEMS. 



1. 



4. 
6. 



/ cos z dz 


= sins + G. 


j — sin z dz 


= cos 3 + G. 


J sin z dz 


=z ver-sins + (7. 


J cos 2 z 


= tans + G. 


r fy 


= sin- 1 !/ + G. 



* Leg., Trig. Art. 3<h 



SEC. VI.] 

6. 

1. 

e. 

9. 



10. 



n. 



12. 



13. 



14. 



15. 



16. 



CIECULAE FUNCTIONS. 

J /i -s = cos-ia5+ C. 

Vl — SB 2 



167 



/: 



dv 



V2y — v 2 
dt 



r dt 

J I + 



t l 



r rdy 



V^"— y 2 
— rdx 



= ver-sin- 1 ^ + C. 



= tan- 1 * + tf. 



= sin- 1 */ + (7. 



yV 2 — x 2 
c- rdv 

A 



r 2 dt 
r 2 + t 2 






du 



y/aF^ 



w 



— du 



-/a 2 ^ 



w 



= cos- 1 **? + O. 



= ver-sin- 1 ^ + C. 



= tan- 1 * + C. 



= sin- 1 - + a 
a 



= cos- 1 - + a 
a 



2 






du .u n 

, = ver-sin- 1 - + C. 

y2au — u 2 & 



adu y u n 

-n — 5 = tan- 1 - + C. 

a 2 + u 2 a 



168 DIFFERENTIAL CALCULUS. [SEC. VI. 

Applications. 

100. We may readily find the relation between the 
diameter and the circumference of a circle from either 
of the first four equations of Art. 97. 

1. To find this ratio from Equation (5), which is, 
dz #y dz 1 . 2 .—J 

Developing by the Binomial Formula, we have, 
_ = 1 + -y2 + _y4 + —-ya + &c . ; wnen ce, 

1 "I O I q K 

dz — dy + g y 2 dy + ^ 2/% + ~^ y e dy + &c. 

fdz = z= y + ^y 3 +2X52/ 5 +S^ 7 + &C - 

If we make z = 30°, of which the sine, y is ~ , * 
we have, 

300 = \ + d* + dp* + dffe* + &c - 

By multiplying both members of the equation by 6, 
and taking twelve terms of the series, we have, 

180° = *r = 3.1415924, 
which is true to the last place, which should be 6. 
* Legendre, Trig. Art. 04. 



SEC. VI.] CIRCULAR FUNCTIONS. 169 

2. Find the ratio from Equation (8), which is, 
-x. • * * 1 , oV . 

d * = T+T>> or > It = T + ? = C 1 ■+ *)"*• 

Developing by the Binomial Formula, we have, 

dz 

— = 1 - t 2 + # _ jf6 + t Q __ & c# . w hence, 

<fe = eft — t 2 dt + £ 4 efe - £ 6 <ft + t 8 dt - &c. 

/£ 3 t 5 t 1 t 9 
dz = 3 = tan- 1 tf = £ — - + -.__ + _ <fe c# 

This series is not sufficiently converging. To find the 
value of the arc in a more converging series, we employ 
the following property of two arcs, viz. : 

Four times the arc whose tangent is - , exceeds th* 

o 

arc of 45° by the arc whose tangent is — - • * 

^ 

* Let a denote the arc whose tangent is — . Then, Leg., Trig, 

5 
Art. 36., 

I tan a 5 



tan la = 



tan 4a = 



1 — tan'a 12 ' 

2 tan 2a 120 



1 — tan 2 2a 119 " 



The last number being greater than 1, shows that the arc 4a ex- 
ceeds 45°. Making, 

4a = A, 45° = £, 



170 



DIFFERENTIAL CALCULUS. 



[SEC. VI. 



But, tan- g) = 1 - JL + JL - JL + &c, 

-ifM _ JL w + _J L_ + 

\239/ 239 3(239) 3 T 5(239) 5 V(239) 7 ^ 



tan 
hence 

arc 45° = 



&c. 



4 /l JL +J: L , \ 

U 3,5 3 "^ 5,5 5 7.7 7 V 

_(J_ - 1 — +— 1 1 —+) 

\239 3(239) 3 T 5(239) 5 7(239) 7 / 



1239 3(239) 3 T 5(239) 5 7(239) 

Multiplying both members by 4, we find, 

180° = « = 3.141592653. 

the difference, 4a — 45° = .4 — i? = 6, will have for its tangent, 

tan A — tan B 1 

tan& = tan (4 -2?) = x + tan ^ ta "^ = ^9? 

1 

hence, four times the arc whose tangent is — , exceeds the are t>f 45* 

1 
by an arc whose tangent is rrr. 



SECTION VII. 

TRANSCENDENTAL CURVES — CURVATURE — RADIUS OP 
CURVATURE INVOLUTES AND EVOLUTES. 

Classification of Curves. 

101. Curves may be divided into two general classes: 
1st. Those whose equations are purely algebraic; and 
2 dry. Those whose equations involve transcendental quan- 
tities. 

Those of the first class, are called Algebraic curves, and 
those of the second, Transcendental curves. 

The properties of the Algebraic curves have been already 
examined; it therefore only remains to explain the proper- 
ties of the Transcendental curves. 

Logarithmic Curve. 

102. A logarithmic curve, is a curve in which one 
of the co-ordinates, of any point, is the logarithm of the 
other. The co-ordinate axis to which the lines denoting 
the logarithms are parallel, is called the axis of logarithms, 
and the other, the axis of numbers. 

If we suppose Y to be the axis of logarithms, then X 

will be the axis of numbers, and the equation of the curve 

will be, 

y = log x. 



172 



DIFFERENTIAL CALCULUS. 



[SEC. VH. 



General Properties. 

103. Let A be the origin of a system of rectangular 
co-ordinates, X the axis of numbers, and Y the axis of 
logarithms. 

If we designate the base 
of a system of logarithms 
by a, we shall have,* 



a' 



x, 




in which y is the loga- 
rithm of x. 

If we change the value 
of the base a, to V, we shall have, 

y 
a 1 = #, 

in which y is the logarithm of #, to the base a\ It is 
plain, that the same value of #, in the two equations, will 
give different values of y, and hence : Each system of 
logarithms will give a different logarithmic curve. 

If we make y = 0, we shall have,f x = 1 ; and since 
this relation is independent of the base of the system of 
logarithms, it follows, that : Every logarithmic curve will 
intersect the axis of numbers at a distance from the origin 
equal to 1. 

This abscissa is denoted by the line AE. 

We may find points of the curve from the general 
equation, 

a y = Xj 

* Bourdon, Art. 227. University, Art. 1§3. 
f Bourdon, Art. 235. University, Art. 1§6« 



SEC. VH.] TRANSCENDENTAL CURVES. 173 

even without the aid of a table of logarithms. For, if 
we make, 

1 3 1 p 

y = o, y = 2» y = 2' y = V ' 

we shall find, for the corresponding values of sc, 

x = 1, <c = -\/a, x == a -/a, a; = */a, &c. 

If we make a = 10, the curve will correspond to the 
common system of logarithms ; and if we suppose 
a = 2.7182818..., to the Naperian system. Both curves 
pass through the point E. 

Base > 1. 

104. If we suppose the base of the system of loga- 
rithms to be greater than 1, the logarithms of all numbers 
less than 1 will be negative;* therefore, the values of y, 
corresponding to all abscissas between the limits of x = 0, 
and x = AE = 1, will be negative; hence, these ordi- 
nates are laid off below the axis of JT. When x = 0, 
y — — oo. Therefore, when the base is greater than 1, the 
corresponding curve is QPEK'. The curve cannot extend 
to the left of the axis of Y^ since negative numbers have 
no real logarithms.! 

Base < 1. 

105. If the base of the system is less than 1, the log- 
arithms of all numbers greater than 1 are negative; and 
of all numbers less than 1, positive. Under this supposi- 
tion, the curve assumes the position Q'P'EK. The parts 

* Bourdon, Art. 235. University, Art. 1§6. 
\ Bourdon, Art. 235. University, Art. 186 



174 DIFFERENTIAL CALCULUS. [SEC. VII. 

of the curves EPQ, EF Q\ are concave towards the axis 
of abscissas; the parts EK, EK\ are convex; and both 
curves, throughout their whole extent, are convex towards 
the axis of Y. 

Asymptote. 

106. Let us resume the equation of the curve, 

y = log x. 

If we denote the modulus of a system of logarithms by 
2!f, and differentiate, we have (Art. 8§), 

dx^j. dy M 

dy = -M; or, £ = -. 

But, ~- denotes the tangent of the angle which the 

tangent line makes with the axis of abscissas; hence, the 
tangent will be parallel to the axis of abscissas when 
x — oo , and perpendicular to it, when x — 0. 

But, when x = 0, y = — oo ; hence, the axis of ordinates 
is an asymptote to the curve. The tangent which is par- 
allel to the axis of X, is not an asymptote; for, when 
x =z oo , w r e also have, y = oo (Art. 50). 

Sub-tangent. 

107. The most remarkable property of this curve, is the 
value of its sub-tangent T'R\ estimated on the axis of 
logarithms. We have found, for the sub-tangent, on the 
axis of X (Art. 45), 

dy*' 



SEC. Vn.] TRANSCENDENTAL CURVES. 175 

and by simply changing the axis, we have, 



T'R' 



dx 



M (Art. 106); hence, 



The sub-tangen% taken on the axis of logarithms, is equal 
to the modulus of the system from which the curve is 
constructed. In the Naperian system, J!f= 1; hence, the 
sub-tangent is equal to 1, equal to AE. In the common 
system, it is denoted by the number, .434284482 . . . 




10 §. If a circle NPG be rolled along a straight line, 
AL, any point of the circumference, as _P, will describe 
& curve, which is called a cycloid. The circle NPG is 
called the generating circle, and P, the generating point. 

Since each succeeding revolution of the generating circle 
w T ill describe an equal curve, it will only be necessary to 
examine the properties of the curve APPL, described in 
one revolution. We shall, therefore, refer only to this 
part, when speaking of the cycloid. 

If we suppose the point P to be on the line AIL, at A, 
it will be found at some point, as X, after all the points 
of the circumference shall have been brought in contact 
with the line AL. The line AL will be equal to the 
circumference of the generating circle, and is called the 



176 



DIFFERENTIAL CALCULUS. [SEC. VH. 



base of the cycloid. The line JBM, drawn perpendicular 
to the base, at the middle point, is called the axis of the 
cycloid^ and is equal to the diameter of the generating 
circle. 

Transcendental Equation of the Cycloid. 

109. Let ON be the radius of the generating circle. 
Assume any point, as A, for the origin of co-ordinates. 
Let us suppose that when the generating point has de- 
scribed any arc of the cycloid, as AP, that the point in 
which the circle touches the base has reached the point N. 




Through iV, draw the diameter NG, of the generating 
circle : it will be perpendicular to the base AL. Through 
P, draw PR perpendicular to the base, and PQ parallel 
to it. Then, PR — NQ will be the versed sine, and PQ 
the sine of the arc NP to the radius CN. Put, 

CN = r, AR = x, PR = NQ = y, 
we shall then have, 

PQ = V 2r V - V\ x = AN— RN= arc NP— PQ 9 
hence, the transcendental equation is, 

x = ver-swr l y ~ \/2ry — y 2 . 



SEC. VH.] TRANSCENDENTAL CURVES. 177 



Differential Equation. 

110. The properties of the cycloid are most easily 
deduced from its differential equation. This is found by 
differentiating both members of the transcendental equation. 
We have (Art. 97), 

^(ver-sin- 1 !/) = ; and 

^2ry - y 2 

d(- ^2ry - y 2 ) = - r ^_~-^ ; hence, 

^2ry - y 2 

a = — r** ? ^A ^ to- ydy 



y/2ry — y 2 -\/2ry — y 2 ^/2ry — y 2 

which is the differential equation of the cycloid. 

Sub-Tangent, Tangent, Sub-Normal, NormaL 

111. If we substitute in the general equations of Arts. 

45, 46, 47, and 48, the value of Jt, found in the dif- 

dx 

ferential equation of the cycloid, we shall obtain the values 

of the sub-tangent, tangent, normal, and sub-normal. 

TB = —f= L = sub-tangent; 

y2ry — y 2 

TP = J^M= = tangent; 
Y2ry - y 2 

PN~ = \/2ry = normal ; 



PIT = <\/2ry — y 2 = sub-normal. 



178 



DIFFERENTIAL CALCULUS. [SEC. VH. 




These values are easily constructed, from their connec- 
tion with the parts of the generating circle. 

The sub-normal jRjV, for example, is equal to PQ of 
the generating circle, since each is equal to -y/lry — y 2 $ 
hence, the normal PiV, and the diameter GN, intersect 
the base of the cycloid at the same point. Now, since 
the tangent to the cycloid at the point P must be per- 
pendicular to the normal, it will coincide with the chord 
PG of the generating circle. 

If, therefore, it be required to draw a normal, or a tan- 
gent, to the cycloid, at any point, as P, draw any line, 
as ng, perpendicular to the base AL, and make it equal 
to the diameter of the generating circle. On ng, describe 
a semi-circumference, and through P draw a parallel to 
the base of the cycloid. Through ^>, where the parallel 
cuts the semi-circumference, draw the supplementary chords 
pn, pg, and then draw through P the parallels PIT, 
PG\ and PN~ will be a normal, and PG a tangent to 
the cycloid at the point P. 



Position of Tangent. 
112. The differential equation of the curve, 

ydy 



dx 



V%ry - y 2 



SEC. VII.] TEANSC EN DENTAL CURVES. 179 

imay be put under the form, 



dy i/lry — y 2 /2r 

dx y " V y 

If we make y = 0, we shall have, 

Tx = °°> 
and if we make y = 2r, we shall have, 

i = •• 

hence, the tangent lines drawn to the cycloid at the point* 
where the curve meets the base, are perpendicular to the 
base ; and the tangent drawn through the extremity of the 
greatest ordinate, is parallel to the base. 

Curve Concave. 
113. If we differentiate the equation, 

i/2ry — y 2 
regarding dx as constant, we obtain, 

/ ydylrdy — ydy) 

o = ^y-f (yd>y + df) - M^=™ ; 

or, by reducing and dividing by y y 

= (2ry - y 2 )d 2 y + rdy\ 
whence we obtain, 

dh, = - rdyi ■ 



and hence, the curve is concave towards the axis . of 
abscissas (Art. "is). 



180 



DIFFERENTIAL CALCULUS. [SEC. VIL 



Area of the Cycloid. 

114. The area of the cycloid may be found in a very 
simple manner, by constructing the rectangle AFBM y and 
considering the portion AFB. 

If we regard F as 
an origin of co-ordinates, 
FB as a line of ab- 
scissas, and take any 
ordinate, as. 




we shall have, 
But, 



KH = z = 2r — y, 
d(AHKF) = zdx. 



zdx = I ^ j/ jj^jg _ $y^2ry — y 2 ; 
y2ry -- y 2 

whence, AHKF = fdy^2ry — y 2 + CI 

But this integral expresses the area of the segment of 
a circle, whose radius is r, and versed-sine y (Art. 99), 
that is, of the segment MIGF. If now, we estimate the 
area of the segment from Jf, where y = 0, and the area 
AFKH from ^Li^ in which case the area AFKH = 0, 
for y -. = 0, we shall have, 

AFKH = MIGF; 

and taking the integral between the limits y = and 
y — 2r, we have, 

AFB = semi-circle MIGB, 

and c<>nsequently, 

area AHBM = ^ITOJf - MIGB. 



SEC. VII.] TRANSCENDENTAL CURVES. 181 

But the base of the rectangle AFBM is equal to the 
semi-circumference of the generating circle, and the alti- 
tude is equal to the diameter ; hence, its area is equal 
to four times the area of the semi-circle MIGB ; there- 
foio, 

area AHBM — Z3IIGB ; hence, 

The area AHBL is equal to three times the area of 
the generating circle. 

Surface described by the Cycloid. 

115. To find the surface described by the arc of a 
cycloid when revolved about its base. 

The differential equation of the cycloid is, 



clx = ydy 



V 2r v — y 2 

Substituting this value of dx in the differential equation of 
the surface (Art. 62), it becomes, 

3. 

2<ty2ry 2 dy 
V^ry — y 2 

Applying Formula (E), (Art. 170), we have, 

i 



But, 



182 DIFFERENTIAL CALCULUS. [SEC. VIL 

hence, 

[O 1 Q 1**1 

~ ^y 2 V^ry - y l - ^r(2r ~ ^J + a 

If we estimate the surface from the plane passing through 
the centre, we have C — 0, since at this point s = 0, 
and y = 2?\ If we then integrate between the limits 
y = 2r, and y = 0, we have, 

1 32 

5 =z - surface = — — <xr 2 ; hence, 

s = surface = — — irr\ 
3 ' 

i 

that is, the surface described by the cycloid, when it is 

revolved around the base, is equal to 64 thirds of the 
generating circle. 

The minus sign should appear before the integral, since 
the surface is a decreasing function of the variable y 
(Art. 19). 

Volume generated by the area of the Cycloid. 

116. If a cycloid be revolved about its base, it is re- 
quired to find the measure of the volume which the area 
will generate. 

The differential equation of the cycloid is, 

dx = ydlJ 



y2r — y 2 
If we denote the volume by I 7 ", we have (Art. 69), 

V%ry — y % 



SEC. Vn.] TRANSCENDENTAL CURVES, 



183 



If we apply Formula (E) (Art. 1VO), we shall find, after 
three reductions, that the integral will depend on that of 

But the integral of this expression is the arc whose versed 
sine is - (Art. 09). Making the substitutions and reduc- 
tions, we find the volume equal to five-eighths of the 
circumscribing cylinder. 

Spirals. 

117. A Spiral, or Polar Line, is a curve described by 
a point which moves along a right line, according to any 
law whatever, the line having at the same time a uniform 
angular motion. 

Let ABC be a straight 
line which is to be turned 
uniformly around the point 
A. When the motion of 
the line begins, let us sup- 
pose a point to move from 
A along the line, in the 
direction A B C. When 
the line takes the posi- 
tion ABE, the point will 

have moved along it, to some point, as B, and will have 
described the arc AaB, of the spiral. When the line 
takes the position AB'E', the point will have described 
the curve AaBB\ and when the line shall have complet- 
ed an entire revolution, the point will have described the 
curve AaBB r B. 

If the revolutions of the radius-vector be continued, the 




18i' DIFFEEEXTIAL CALCULUS. [SEC. VII. 

generating point will describe an indefinite spiral. The 
point -4, about which the right line revolves, is called 
the pole ; the distances AD, AD ', AB, are called to* 
dlus-vectors or radii-vectores ; and the parts AaDD'B, 
BEE' (7, described in each revolution, are called sjrires. 

If, with the pole as a centre, and AB, the distance 
passed over by the generating point in the direction of 
the radius-vector, during the first revolution, as a radius, 
we describe the circumference BEE \ the angular motion 
of the radius-vector about the pole A, may be measured 
by the arcs of this circle, estimated from B. 

If we designate the radius-vector by u, and the meas- 
uring arc, estimated from _B, by Z, the relation between 
u and £, may be expressed by the equation, 

u = f{t), or u = at n , 

in which n depends on the law according to which the 
generating point moves along the radius-vector, and a on 
the relation which exists between a given value of w, and 
the corresponding value of t. 

General Properties. 

118. When n is positive, the spirals represented by 
the equation, 

u — at n , 

will pass through the pole A. For, if we make t = 0, 
we shall have, u — 0. 
But if n is negative, the equation will become, 

u = at~ n ; or, u = — , 



SEC. VH.] TRANSCENDENTAL CURVES. 185 

from which we shall have, 

for, t = 0, u == oo, 

and for, £ = oo , u = ; 

hence, in this class of spirals, the first position of the 
generating point is at an infinite distance from the pole : 
the point will then approach the pole as the radius-vector 
revolves, and will only reach it after an infinite number 
of revolutions. 

Spiral of Archimedes. 

119. If we make n = 1, the equation of the spiral 

becomes, 

u = at. 

If we designate two different radii-vectores by u' and 
u", and the corresponding arcs by t' and £", we shall have, 

u T = at\ and u" = at f \ 

and consequently, 

u' : u" : : t f : t" ; that is, 

The radii-vectores are proportional to the measuring 
arcs, estimated from the initial point. 

This spiral is called the spiral of Archimedes. 

If we denote by 1, the distance which the generating 

point moves along the radius-vector, during one revolu* 

tion, the equation, 

u = at, 
will become, 

1 z= at: or, 1 X - = t. 

a 



186 DIFFERENTIAL CALCULUS. [SEC. VII 

But since t is the circumference of a circle whose 

radius is 1, we shall have, 

- = 2tf, and consequently, a = — • 



Parabolic Spiral. 

120. If we make n = -, and a =z \/2p, we have, 

2 

for the general equation, 

u = ^/2p X t 2 ; or, u 2 = 2pt, 

which is the equation of the parabolic spiral. 

If t = 0, i£ = ; hence, this spiral passes through 
the pole. 

Hyperbolic Spiral. 

121. If we make n = — 1, the general equation of 
spirals becomes, 

u = at" 1 ; or, ut = a. 

This spiral is called the hyperbolic spiral, because of 
the analogy which its equation bears to that of the hy- 
perbola, when referred to its asymptotes. 

If, in this equation, we make, successively, 

we shall have the corresponding values, 

u = a, t$ = 2a, w = 3a, 24 = 4a, &o. 



SEC. VH.] TBANSCENDENTAL CURVES. 



187 



Logarithmic Spiral. 

122. Since the relation between u and t is entirely 
arbitrary, we may, if we please, make, 

t = log u. 

The spiral described by the extremity of the radius* 
vector, under this supposition, is called the logarithmic 
spiral. 

Direction of the measuring arc. 

123. The arc, which measures the angular motion of 
the radius-vector, has been estimated from right to left, 
and the value of t regarded as positive. If we revolve 
the radius-vector in a contrary direction, the measuring 
arc will be estimated from left to right, the sign of t 
will be changed to negative, and a similar spiral will be 
described. 

Sub-tangent in Polar Curves. 

124. The Sub-tangent, in spirals, or in any curve, 

referred to polar co-ordinates, 

is the projection of the tangent 

on a line drawn through the 

pole, and perpendicular to the / 

radius-vector .passing through j 

the point of contact. \ 

Let A be the pole, AN = 1, 
the radius of the measuring 
arc, P any point of the curve, 
TF 2l tangent at P, and AT, 




188 DIFFERENTIAL CALCULUS. [SEC. VH. 

perpendicular to AP, the sub-tangent. Let AP' be a 
radius-vector, consecutive with AP, and PQ, an arc de- 
scribed from the centre A. 

Then, NN' = <*, and (>P = die, and, since P# is 
parallel to NN\ we have, PQ = weft. But the arc 
P$ coincides with its chord (Art. 43), and since $ ^ 
a right angle, the triangles PQP' and 2L4P are similar ; 
hence, 

AT : AP : : PQ : QP' ; therefore, 

Sub-tangent JLT 7 : u : : wdfc : cfe. 

Whence, Sub-tangent AT — —=— = -^ n + 1 . 

cm ft 

125. In the spiral of Archimedes, we have, 

1 
n = 1, and a = — ; 

£ 2 
hence, AT = — • 

' 2tf 

If we make £ = 2tf, circumference of the measuring 
circle, we shall have, 

AT — 2tf, circumference of the measuring circle. 

After m revolutions, we shall have 

t = 277i«7r, 
and consequently, 

AT = 2mV =: m.2mir ; that is, 

2%e sub-tangent^ after m revolutions, is equal to nr times 



SEC. Vn.] TRANSCENDENTAL CURVES. 189 

the circumference of the circle lohose radius is the radius- 
vector. This property was discovered by Archimedes. 

126. In the hyperbolic spiral, n = — 1, and the value 
of the sub-tangent becomes 

A T = — a / that is, 
The sub-tangent is constant in the hyperbolic spiral. 

Angle of the Tangent and Radius-Vector. 

127. We see that, 

AT udt 
AP - du' 

denotes the tangent of the angle which the tangent line 
makes with the radius-vector. 

In the logarithmic spiral, of which the equation is 
t = log w, 

we have, dt = — M ; 

AT udt „ _ 
hence, AP = Ifo ~ M > that 1S > 

In the logarithmic spiral, the angle formed by the 
tangent and the radius-vector passing through the point 
of contact, is constant ; and the tangent of the angle 
is equal to the modulus of the system of logarithms. 

If t is the Naperian logarithm of u, M is 1 (Art. 89), 
and the angle will be equal to 45°. 



190 DIFFERENTIAL CALCULUS. |SEC. VII. 

Value of the Tangent. 

128. The value of the tangent, in a curve referred to 
polar co-ordinates, is, 

:JAP 2 + "XT' = U^J\ 



- u -£* 



Differential of the Arc. 

129. To find the differential of the arc, which we de- 
note by 2, we have, 



PP f = JQP' 2 +QP 2 ; 



or, by substituting for PP\ QP\ and PQ, their values, 
when P and P' are consecutive, we have, 



dz = <y/du 2 + u 2 dt 2 . 

Differential of the Area. 

130. The differential of the area ADP, when referred 
to polar co-ordinates, is not an elementary rectangle, as 
when referred to rectangular axes, but is the elementary 
sector APP\ The area of this triangle is equal to 

AP f x PQ 

— • If we denote the differential by cfe, we have, 

, AP f x QP (u + du)udt 



5 



or, omitting the infinitely small quantity of the second 
order, ududt (Art. 20), 

u 2 dt 
ds = — , 



SEC. VII.] TRANSCENDENTAL CURVES, 191 

which is the differential of the area of any segment of a 
polar line. 

Areas of Spirals. 

131. If ive denote by s, the area described by the ra- 
dius-vector, we have (Art. 130), 

u 2 dt 

ds = — ; 

and placing for it its value, at* (Art. 11 T), 

a 2 t 2n dt 3 aH 2n + 1 , „ 
cis = — - — , and 5 = - — - + U. 

2 ' 4:71 + 2 

If n is positive, C = 0, since the area is 0, when t = 0. 
After one revolution of the radius-vector, t = 2-7T, and we 
have, 

a 2( 2 tf)2H + l 

S ~ ~ln + 2 ' 
which is the area included within the first spire. 

132. In the spiral of Archimedes, (Art. 119), 

1 
a = — , and n = 1 : 

2* * 

hence, for this spiral we have, 

t 3 
S - 24W2' 

at* 
which becomes -, after one revolution of the radius-vec- 

o 

(ft 

tor ; the unit of the number - , being a square whoso 

o 

side is 1. Hence, the area included by the first spire, is 
equal to one-third of the area of the circle whose radius 
U the radius-vector, after the first revolution. 



192 DIFFERENTIAL CALCULUS. [SEC. VII. 

In the second revolution, the radius-vector describes a 
second time, the area described in the first revolution ; 
and in any succeeding revolution, it will pass over, or re- 
describe, all the area before generated. Hence, to find 
the area, at the end of the mth revolution, we must in- 
tegrate between the limits, 

t = (m — l)27r, and t — m. 2<7r, 

which gives, 

m 3 — (m — l) 3 

s = #. 

3 

If it be required to find the area between any two spires, 
as between the mth and the (m + l)th, we have for the 
tyhole area to the (m + ])th spire, 

(m + l) 3 — w? 

tjf • 

3 ' 

and subtracting the area to the mth spire, gives, 

(m + l) 3 — 2m 3 + (m — - l) 3 

3 ' 

for the area between the mth and (m + l)th spires. 

If we make m = 1, we shall have the area between 
the first and second spires equal to 2^ ; hence, the area 
between the mth and (m -f- l)th spires, is equal to 
m times the area between the first and second. 

1 33. In the hyperbolic spiral, n = — 1, and we have, 

ds = - — — - aL and s = • 

2 ' 2t 

The area s will be infinite, when t = 0, but we can 



SEC. vn.] CURVATURE. 193 

find the area included between any two radii-vectores b 

and c, by integrating between the limits t = b and t = c, 

which will give, 

a 2 /l 1\ 

134. In the logarithmic spiral, t = lu\ hence, 

dt = — 

and, = ; 

' 2 2 ' 

. Pudu v? , ^ 

hence, 5 = y-^- = -+(7; 

and by considering the area s = 0, when u = 0> we 

have (7 = 0, and 

u 2 

CURVATURE. 

135. The Curvature of a plane curve, at any point, 
is the departure from the tangent drawn to the curve at 
that point. This departure is measured by the distance 
which a point, moving on the curve, departs from the 
tangent in passing over a unit of length, denoted by the 
differential of the arc. In the same circle, or in equal 
circles, the departure from a tangent, at any point, is 
always the same ; hence, the curvature of a circle, at all 
points, is constant. 

Curvature of a circle is inversely as the radius. 

136. Let G and C be the centres of two unequal cir 
cles, having a common tangent at P. If we suppose the 



194 



DIFFERENTIAL CALCULUS. [SEC. VII. 



arcs to be the independent variables, we can denote the 
differential of one arc by Pb, and 
the differential of the other, by 
an equal arc Pa. Then, having 
drawn bJB and aD, and the sines, 
bb\ aa\ and recollecting that each 
arc is equal to its corresponding 
chord, (Art. 43), we have, by de- 
noting the radii by r and r',* 

Pb 2 = 2r.Pb\ and Ta = 2r'.iV; 

since the arcs are equal, and Pb' = db, and Pa r = ca, 

2r.db = 2r f .ca; hence, 

1 1 




db 



ac 



that is, 



The curvature of a circle varies inversely as its radius / 
hence, the reciprocal of the radius of a circle may be 
assumed as the measure of its curvature. 



Orders of Contact. 

137. If two plane curves have one point in common, 
there is one set of co-ordinates (which may be denoted 
by cc", 2/"), that will satisfy the equations of both curves. 
If the curves have a second point in common, consecutive 
with the firsts they will have a common tangent, at the 
common point, and the first differential coefficients will also 
be equal (Art. 43) ; this is called, a contact of the first order, 
If the curves have a third point in common, consecutive 
with the second, the second differential coefficients will be 



* Legendre, Bk. IV. P. 23. 



SEC. VII.] CURVATURE. 195 

equal (Art. 73) ; this is called, a contact of the second 
order. 

Generally, two curves have a contact of the nth. order, 
"when they have a common point, and the first n succes- 
sive differential coefficients of the common ordinate, equal 
to each other. 

Oscillatory Curves. 

138. Aisr Osculatrix, is a curve which has a highei 
order of contact with a given curve, at a given point, 
than any other curve of the same kind. The osculatory 
circle is by far the most important of all the osculatrices ; 
for it is this circle which measures the curvature of all 
plane curves. 

Osculatory Circle. 

139. The general equation of a circle, referred to rect- 
angular co-ordinates (Bk. II., Art. 5), is, 

(x- a) 2 + (y- j8)* = E 2 . . . (1.) 

in which a and (3 are the co-ordinates of the centre, and 
x and y the co-ordinates of any point of the curve. 

If we regard a, /3, and i?, as constants, and differen- 
tiate the equation twice, and then find the differential 
coefficients of the first and second order, we have, 

.... (2.) 



dx ' y — /3 

dy 2 
dx 
dx 2 ' y — /3 



and, dty dx 2 .... (3.) 



196 DIFFERENTIAL CALCULUS. [SEC. VII. 

In Equation ( 1 ) there are three arbitrary constants, a, 
/3, and H ; and values may be assigned to these, at pleas- 
ure, so as to cause the circle to fullfil three conditions, 
and three only. 

If we have any plane curve whose equation is of the 
form, 

V = A*) ; 

and find, from this equation, the first and second differ- 
ential coefficients, for any point whose co-ordinates are 
x'\ y'\ we may then attribute such values to a, /3, and 
J?, as shall make, 

x = cc", y = y" \ also, 

dy _ dy^ d*y _ d?y" 

dx "" dx" dx 2 ~~ dx" 2 

As no further general relations can be established be- 
tween the differential coefficients of the circle and curve, 
this circle will be osculatory to the curve at the point 
whose co-ordinates are x'\ y" (Art. 13§). Since the 
co-ordinates of a point, and the differential coefficients of 
the first and second order, determine three consecutive 
points (Art. 73), it follows that, the osculatory circle passes 
through three consecutive points of the curve, at the point 
of osculation. 

Limit of the Orders of Contact. 

140. It is seen that the highest order of contact which 
a circle can have with any curve, is denoted by the num- 
ber of arbitrary constants which enters into its equation, 
less 1; and the same is true for any other osculatrix. 



SEC. VII.] 



CURV ATTTRE. 



197 



Although it is impossible to assign a higher order of con- 
tact, to a circle, than the second, yet, at the vertices of 
the transverse and conjugate axes of the conic sections, the 
conditions which make the circle osculatory, also make the 
third differential coefficient zero, and hence give a contact 
of the third order. In general, when the order of contact 
is even, and the curve symmetrical with the normal at the 
pomt of osculation, the conditions imposed will give a con- 
tact of the next higher order. 



Radius of Curvature. 

141. If we find the value of H from Equations (1), 
(2), and (3), we have, 

3 

(dx 2 + dy 2 ) 2 
dxd 2 y 



B = ± 



. . (4.) 



which is the general value for the radius of the osculatory 
circle. 

If we denote the arc by s, we have (Art. 52), 



whence, 



dz = -y/dx 2 + dy*; 
dz 3 



R = ± 



dxd 2 y 



(8.) 



Measure of Curvature. 

142. The curvature of a curve, at any pomt, is measured 
by the curvature of the os- 
culatory circle at that point ; 
hence, it is the reciprocal of 
the radius (Art. 136). 

If we assume two points, 
JP and jP, either on the 




198 DIFFERENTIAL CALCULUS. [SEC. VII. 

same, or on different curves, and find the radii r and r 9 
of the circles which are osculatory at these points, then, 

i : 

curvature at P : curvature at JF : : - : —. • 

r r 

143. To find the radius of curvature, at any point of 
a plane curve, whose equation is of the form, 

V =/{x). 

Differentiate the equation twice, and substitute the values 
of the first and second differentials in Equation (4); the 
resulting equation will indicate the value of H for that 
point. 

If we use the + sign, when the curve is convex toward 
the axis of abscissas, and the — sign when it is concave, 
the essential sign of H will be positive, when H is an 
increasing function of x. 

Radius of Curvature for Lines of the Second Order. 

144. The general equation for lines of the second or- 
der (Bk. V, Art. 42), is, 

y 2 = mx -f nx 2 , 
which gives, by differentiation, 



(m + 2nx)dx ^ + = [Ay 2 + (m + 2nx) 2 ]dx 2 

2y ' U Ay 2 



_ 2nydx 2 -— (m + 2nx)dxdy _ [Any 2 — (m + 2nx) 2 ]dx i 
- 2y 2 = 4y3 



SEC. VII.] CUPwVATUEE. 199 

i 

Substituting these values in the equation, 



JR =± - 



{dx 2 + dy 2 ) 2 



dxd 2 y 
[4(mx + nx 2 ) + (m + 2??£c) 2 ] 



we obtain, H = 

which is the radius of curvature in lines of the second 
order, for any abscissa x. 

145. If we make x = 0, we have, 

_/t = -771 = —r-: 
2 A ' 

that is, in lines of the second order, the radius of curva- 
ture at the vertex of the transverse axis is equal to half 
the parameter of that axis. 

146. If it is required to find the value of the radius of 
curvature at the vertex of the conjugate axis of an ellipse, 
we make (Bk. V, Art. 42), 

2B 2 B 2 

m = ~A~' n === ~~ A 2 ' X = ' 

which gives, after reducing, 

A 2 
JR =z — ; hence, 

The radius of curvature at the vertex of the conjugate 
axis of an ellipse is equal to half the parameter of that 
axis. 

147. In the case of the parabola, in which n = 0, the 
general value of the radius of curvature becomes, 

J? 

(m 2 + 4cmx) 2 

~~ 2m 2 



200 DIFFERENTIAL CALCULUS. [SEC. VH. 

If we make x — 0, we shall have the radius of curvature 

7Tb 

at the vertex, equal to — , or one-half the parameter. 

148. If we compare the value of the radius of curvature 
(Art. 144), with that of the normal line found in Art. 49, 

we shall have, 

_ (normal) 3 
E = ^— } -\ that is, 

- m 2 

4 

The radius of curvature, at any point, is equal to the 
cube of the normal divided by half the parameter squared; 
and hence, the radii of curvature, at different points of 
the same curve, are to each other as the cubes of the cor- 
responding normals ; and the curvature is proportio7ial to 
the reciprocals of those cubes. 

Evolute Curves. 

149. An Evolute curve is the locus of the centres of 
all the circles which are oscil- 
latory to a given curve. The 
given curve is called the Invo- 
lute. 

If at different points, P, P, 
P f! , &c, of an involute, or given 
curve, normals, PC, P'C, &c, 
be drawn, and distances laid off 
on them, on the concave side of 

the arc, each equal to the radius of curvature at the 
point, then the curve drawn through the extremities C, 
C, G", &c, of these radii of curvature, is the evolute 
curve. 




SEC. VH.] INVOLUTES AND EVOLUTES. 201 

A normal to the Involute is tangent to the Evolute. 

150. Resuming the consideration of the first three 
equations of Art. 139, and changing slightly the forms of 
(2) and (3), we have, 

(x-*y+ (y-/3)2 = J2* . . . (1.) 

(x — *)dx + (y — fi)dy = ... (2.) 

dx 2 + dy 2 + {y — P)d 2 y = . . . (3.) 

Equations (2) and (3) were derived from Equation (1), 
under the supposition that a, /3, and H, were arbitrary- 
constants, and of such values as to cause the circle to be 
osculatory to a given curve, at a given point. 

If now, we suppose the oscillatory circle to move along 
the involute, continuing osculatory to it, the five quanti- 
ties, J?, a, |8, y, c?y, will all be functions of the indepen* 
dent variable as, and a and /3 will be the co-ordinates of 
the evolute curve. 

If we differentiate Equations ( 1 ) and ( 2 ) under this hy- 
pothesis, we have, 

(x — a)dx + (y — (3)dy — (x — a)c?a — (y — /3)d(3 = MdE^ 

dx 2 + dy 2 + (y — P)d 2 y - dadx — dfidy -— 0. 

Combining the first with Equation (2), and the second 
with (3), we obtain, 

- (y - j3) d)3 - (a* - <*>)<%* = RdE, . (4.) 

— dadx — dfidy = . . . (5.) 



202 DIFFERENTIAL CALCULUS. [SEC. VII. 

From the last equation we have, 

dS dx 

da dy * *' 

But Equation (2) may be placed under the form, 

y ~ fi = ~ %^ X " a) ' or ' f - y = - ^(« - *) • ( 7 -) 

Substituting for — — , its value — , we have, 

y-/ 3 = £(*-«> < 8 -) 

Since Equations (7) and (8) are the same under dif- 
ferent forms, they represent one and the same line. 

Equation (7) is the equation of a normal to the invo- 
lute at a point whose co-ordinates are x and y, and passes 
through any point whose co-ordinates are a and f3 (Art. 44). 
Equation (8) is the equation of a tangent to the evolute 
at a point whose co-ordinates are a and /3, and passes 
through any point whose co-ordinates are x and y (Art. 43) ; 
therefore, 

Tlie radius of curvature which is normal to the invo- 
lute is tangent to the evolute. 



Evolute and radius of curvature increase or decrease by the 
same quantity. 

151. Combining Equations (2) and (6), we have, 
x ~ a = dffo - 0) •' . • • • (9.) 



SEC. VII.] INVOLUTES AND EVOLUTES. 203 

Substituting this value of x — a in Equation (1), we 
have, after reduction, 



fr-w-ri*)-* ••<»•> 



Substituting the same value in Equation (4), reducing, 
and squaring both members, we obtain, 

Dividing (11) by (10), member by member, and taking 
the root, 

V^* 2 + *3 2 = dR .... (12.) 

But since a and (3 are the co-ordinates of the evolute, 
if we denote this curve by s, we shall have (Art. 52), 

dJR = dz, dR — dz = 0, d(R — z) = ; 

whence, is! — z = a constant (Art. IT) ; 

which, if we denote by c, gives, 

i? = z + c (13.) 

Since the difference between R and z is constant, it fol- 
lows that any change in one, will produce a corresponding 

and equal change in the other. 

« 

If we draw any two radii of curvature, as P(7, JP f C\ 
and denote them by R and R\ and the corresponding 
arcs of the evolute by z and z\ we have, 

R — z + c, and R' — z r + c ; 

whence, R f — R = z f — z\ that is, 

The difference between any two radii of curvature is 



204 DIFFERENTIAL CALCULUS. [SEC. VII. 

equal to the arc of the evolute intercepted beticeen their 

extremities. 

If we make z = 0, and denote the corresponding value 
of It by r, we have, 

r = + c = c ; hence, 

The constant c, is equal to the radius of curvature passing 
through the origin of arc of the evolute. 

If we suppose G to be the origin of arc of the evolute, 
then, OP — r = c; and any radius of curvature, as CP\ 
will be equal in length to the line COP. If then the 
evolute be developed, or unrolled, as it were, about the 
movable centre of the oscillatory circle, the other ex- 
tremity of the radius of curvature will describe the involute 
curve. 

Evolute of the Cycloid. 

152. Let us resume the equation for the radium of curv- 
ature (Art. 141), 

dxcPy * • • • V v 

If, in this equation, we substitute the value of dx and 
d 2 y, found in Art. lis, we have, 

E = ^{ryf = 2<v/2n/ . -. . . (2.) 

hence (Art. Ill), The radius of curvature is double the 
normal ; therefore, when the generating circle moves from 
A towards iff, any radius of curvature, as PP\ will be 
double the normal FN. 



SEC. VII.] INVOLUTES AND EVOLUTES. 



205 




If, in Equation ( 2 ), we make y ~ 0, we have, B = ; 
If we make y = MB = 2r, we have, H = 4r. 

That is, the radius 
of curvature is zero at 
the point A, and twice 
the diameter of the 
generating circle at B. 

Since the radius of 
curvature and evolute 
are both zero at the 
point A, and since they 
increase equally (Art. 

151), it follows that the length of the evolute AP'A f is 
equal to A' MB, or twice the diameter of the generating 
circle. 

When the point of contact, JV, shall have reached M, 
the point P, will have described the involute ABB, and 
the point P\ the evolute AP f A\ If we describe a circle 
on A'M = \A'B, it will be equal to the generating circle 
of the cycloid, and the two circles will touch each other 
at M. Draw A'X parallel to AL. 

If now we suppose the circle whose centre is (7, to roll 
along the base from M to A, and the circle whose centre 
is C\ to roll from A' to J£", keeping the centres C and C\ 
in a line perpendicular to the base AL, the point P, of 
the upper circle, will re-describe the involute BPA, and 
the point P', will re-describe the evolute A f P F A. But 
since the generating circles are equal, and since they are 
rolled over equal bases, the curves generated will be equal; 
hence, the involute and evolute are equal curves. 



206 DIFFERENTIAL CALCULUS. [SEC. VII. 

The part of the involute beginning at A, is identical with 
the part of the evolute beginning at A*. 

Since the involute and evolute are equal, the length of 
the involute APB, is equal to twice the diameter of the 
generating circle; or the length of the entire cycloidal arc 
APBL, is equal to the entire evolute AP'A'L^ or to 
four times the diameter of the generating circle. 

Equation of the Evolute. 

153. The equation of the evolute may be readily found 
by combining the equations, 

dx 2 + dy 2 dy(dx 2 + dy 2 ) 

* d 2 y ' dxd 2 y 

with the equation of the involute curve. 

1st. Find, from the equation of the involute, the values of 

-¥■ and d 2 y, 
dx y ' 

and substitute them in the last two equations ; there will 
result two new equations, involving a, /3, #, and y. 

2d. Combine these equations with the equation of the 
involute, and eliminate x and y\ the resulting equation 
will contain a, /3, and constants, and will be the equation 
of the evolute curve. 

Evolute of the common Parabola. 

154. Let us take, as an example, the common parabola, 
of which the equation is, 

y 2 = mx. 



BlfiC. VII.] INVOLUTES AND EVOLUTES. 207 

We shall then have, 



dy m , n m 2 dx 2 

dx " 2y' J Ay 3 \ 

and hence, 

4y 3 /4y 2 + m 2 \ 4y 3 + m 2 y Ay 1 
V ~~ ^ : ~m 2 \ 4y 2 / = m 2 = ~m 2 + V > 

and observing that the value of x — a is equal to that 

dij 
of y — - (3 multiplied by — ~ , we have, 



4y 2 + »* 
hence we have, 

4y 3 _ 2y 2 #& 

— /3 = -^- , and x — a = £ --; 

m 2 ' m 2 ' 

substituting for y its value in the equation of the involute, 
we obtain, 



y = m 2 x 2 , 



3 

— ^ = — T ; a?-a=-2a;--; 

m 



and by eliminating cc, we have, 

16 / 



M 16 / * \ 

27ra\ 2 / ' 



^hich is the equation of the evolute. 
If we make f3 = 0, we have, 

« = 5»; 



208 



DIFFERENTIAL CALCULUS. 



[SEC. VII. 



and hence, the evolute meets the axis of abscissas at a 
distance from the origin equal to half the parameter. 
If the origin of co-ordinates be 
transferred from A to this point, 
we shall have, 



a r = a — -m y 



and consequently, 



j8».= 



16 
27m 



y/3 




The equation of the curve shows that it is symmetrical 
with respect to the axis of abscissas, and that it does not 
extend in the direction of the negative values of a\ The 
evolute CC corresponds to the part A I* of the involute, 
and GG" to the part AP*. Both are convex towards the 
axis of JST. 



INTEGRAL CALCULUS. 



Nature of Integration. 

155. In the Differential Calculus, we have developed 
a system of principles, and given a series of rules, by 
means of which we deduce, from any given function, two 
others; the first of which is called the Differential co- 
efficient, and the second, the Differential (Art. 25). In 
the Integral Calculus, we have to return from the differ- 
ential, to the function from which it was derived. 

This operation, as a fundamental problem, involves the 
summation of a series of an infinite number of terms, each 
of which is infinitely small (Art. 56). No general rule for 
the summation of such a series has yet been discovered; 
and hence, we are obliged to resort, in each particular 
case, to the operation of reducing the given differential to< 
some equivalent one, whose integral is known (Art. 34). 

Forms of differentials having known Algebraic Functions.. 

156. We have found (Art. 35), that every differential 
monomial of the form, 



210 INTEGRAL CALCULUS. 

in which m is any real number, except — 1, may be im- 
mediately integrated; and when m =f — 1, the differentia] 
becomes that of a logarithmic function, and its integral 
is A Ix (Art. §9). 

157. We have seen that every differential binomial of 
the form, 

{a + bx n ) m x n - l dx, 

in which the exponent of the variable without the paren- 
thesis is less by 1 than the exponent of the variable with- 
in, can be immediately integrated (Art. 4l). 

158. We have seen that every function of the form, 

Xdx^ 

in which X can be developed into a series in terms of 
the ascending powers of #, has an approximate integral 
which may be readily found (Art. 42). 



Forms of differentials having known Logarithmic Functions. 

159. Any function of the form, 

. dx 
A — <> 

x 

in which the numerator is the differential of the denom- 
inator, can be immediately integrated, since the integral is 
equal to Alx (Art. §9). In Art. 91, we have given five 
other forms of differentials, whose corresponding functions 
are logarithms. 



INTEGRATION OF FRACTIONS. 211 

Forms of differentials having known Circular Functions. 

160. In Art. 99, we have found sixteen differential 
expressions, each of which has a known integral corre- 
sponding to it, and which, being differentiated, will of course 
produce the given differential. 

In all the classes of functions, any differential expression 
may be considered as integrated, when it is reduced to one 
of the known forms ; and the operations of the Integral 
Calculus consist, mainly, in making such transformations 
of given differential expressions, as shall reduce them to 
equivalent ones, whose integrals are known. 



IKTEGEATIOK OF RATIONAL FRACTIONS. 

161. Every rational fraction may be written under the 
form, 

J?&- 1 + Qx»- 2 . . . + Bx+S 
Fx* + Q'x*-* . . . + R'x+ S' > 

in which the exponent of the highest power of the variable 
in the numerator is less by 1 than in the denominator. 
For, if the greatest exponent in the numerator was equal 
to, or exceeded the greatest exponent in the denominator, 
a division might be made, giving one or more entire terms 
for a quotient, and a remainder, in which the exponent of 
the leading letter would be less by at least 1, than the 
exponent of the leading letter in the divisor. The entire 
terms could then be integrated, and there would remain 
a fraction under the above form. 



212 INTEGRAL CALCULUS. 

EXAMPLES. 

1. Let it be required to integrate the expression, 

2adx 

. • 

x l — a 2 

By decomposing the denominator into its factors, we 

have, 

adx 2 adx 



x 2 — a 2 " (x — a) {x + a) 
Let us make, 

2 adx 



(x — a) (x + 



-»-(— + -4-K 

a) vc — a x + a/ 



in which ^4 and B are constants, whose values may be 
found by the method of indeterminate co-efficients.* To 
find these constants, reduce the terms of the second mem- 
ber of the equation to a common denominator; we shall 
then have, 

adx {Ax + Aa + Bx — Ba)dx 

(x — a) (x + a) (x — a) (x + a) 

Comparing the two members of the equation, we find, 

2a =z Ax + Aa + Bx — Ba\ 

or, by arranging with reference to x, 

(A + B)x + ( A — B — 2)a = ; hence, 

A + B = 0, and {A - B — 2)a = ; 

whence, -4 = 1, J? = — 1. 

* Bourdon, Art. 194. University, Art. 180. 



INTEGRATION OF FRACTIONS. 213 

Substituting these values for A and i?, we obtain, 
2adx dx dx 



x 2 ■— a 2 ~~ x — a x + a' 
integrating, we find (Art. 89), 

/adx 
-£— — - = l{x — a) «— l(x + a) + (7; consequently, 

/' ac?cc (x — a\ . n 



2. Find the integral of, 

Sx — 5 



•c?#. 



a; 2 — 6a; + 8 

Resolving the denominator into its two binomial factors, 
(x — 2), and (x — 4), we have, 

3a; — 5 A , B 

+ -; hence, 



x 2 — 6a; + 8 

3a; — 5 .Ac — 4 A + .ga; — 2.ff # 

a; 2 — 6a; + 8 = a; 2 — 6a; + 8 ' 

by comparing the coefiicients of a;, we have, 

— 5 = - 4A - 2.B, 3 = ^. + jB, 

1 1 

which gives, jB = - , A = - -] 

substituting these values, we have, 

f Sx — 5 1 f dx 1 f dx 

J &~^Qx~+~8 €lX ~ ~~ 2J x~^2 + %J x~^l + ° 

== £ lo g(* - 4) - llog(a - 2) + O. 



214 INTEGRAL CALCULUS. 

Hence, for the integration of rational fractions: 

1st. Resolve the fraction into 'partial fractions, of which 
the numerators shall be constants, and the denominators 
factors of the denominator of the given fraction. 

2d. Find the values of the numerators of the parties 
fractions, and multiply each by dx. 

3d. Integrate each partial fraction separately, and the 
sum of the integrals thus found will be the integral 
sought. 

INTEGRATION BY PARTS. 

162. The integration of differentials is often effected 
by resolving them into two parts, of which one has <a 
known integral. 

We have seen (Art. 27), that, 

d(uv) = udv + vdu, 
whence, by integrating, 

uv = J udv +J vdu, 
and, consequently, 

J udv = uv —Jvdu. 

Hence, if we have a differential of the form Xdx, which 
can be decomposed into two factors P and Qdx, of 
which one of them, Qdx, can be integrated, we shall 

have, by making / Qdx = v, and JP = u, 

J Xdx z=J PQdx == J udv = uv —Jvdu . (].) 
in which it is only required to integrate the term / vdu. 



INTEGRATION BY PAET8. 215 



EXAMPLES. 



1. Integrate the expression, x 3 dx^/a 2 + x 2 . 
This may be divided into the two factors, 
a 2 , and xdx^/a 2 + cc 2 , 
of which the second is integrable (Art. 41). 



Put, u = a 2 , and dv = xdx^/a 2 + x 2 ; 

then, 

xdxya 2 + cc 2 = '-.« 

Substituting these values in Formula (1), 

/«*, = *<^— F -/ (a2 V 2)l x "■*! 

and finally, 

3. 

fx*dx^~Ttf = ^(^—~y - ^(« 2 + «*)* + « 



2. Integrate the expression, 



(a 2 - x 2 )* 



_ 3 

The two factors are, a?, and xdx{a 2 — x 2 ) 2 . 

_3 -J 

u = 03 ; cfo = xdx(a 2 — cc 2 ) 2 ; v = _ , 

/wcfo = +/ . =; whence, 

/ i = + sin-i- (Art. 99). 

(a 2 -* 2 ) 2 V^ 2 -« 2 a 



216 INTEGRAL CALCULUS. 

ESTEGKATIOK OF BINOMIAL DIFFERENTIALS. 
Form of Binomial. 

163, Every binomial differential may be placed under 
the form, 

x m ~ l dx(a + bx n )P, 

in which m and n are whole numbers, and n positive; 
and in which p is entire or fractional, positive or nega- 
tive. 

1. For, if m and n are fractional, the binomial takes 

the form, 

i i 

x 2 dx(a + bx 2 )P* 

If we make x = s 6 , that is, if we substitute for #, an- 
other variable, z, with an exponent equal to the least 
common multiple of the denominators of the exponents 
of x, we shall have, 

x*dx(a + bx 2 )p = Wdzia + bz 3 )P, 
in which the exponents of the variable are entire. 

2. If n is negative, we have, 

Q(f l - l dx(a + bx- n )P, 

and by making x = -, we obtain, 
s 

- z- m + 1 dz(a + bz n )P y 

in which n is positive. 

3. If x enters into both terms of the binomial, giving 

the form, 

x m ~ dx(ax r + bx n )p, 



BINOMIAL DIFFERENTIALS. 217 

in which the lowest power of x is written in the first 
term, we divide the binomial within the parenthesis by 
# r , and multiply the factor without by x r ? ; this gives, 

x m+ P r ~ l dx(a + bx n - r )P, 

which is of the required form when the exponent 
m + p 7 ~~ \ is a whole number, and may easily be 
reduced to it, when that exponent is fractional. 



When a Binomial can be integrated. 

164.— 1. If p is entire and positive, it is plain that the 
binomial can be integrated. For, when the binomial is 
raised to the indicated power, there will be a finite num- 
ber of terms, each of which, after being multiplied by 
x m - 1 dx J may be integrated (Art. 35). 

2. If m = n, the binomial can be integrated (Art. 41) 

3. If p is entire, and negative, the binomial will take 

the form, 

x m ^ 1 dx 



(a + bx n )P J 
which is a rational fraction. 

Formula &. 

For diminishing the exponent of the variable without the pa* 

renthesis. 

165. Let us resume the differentia* binomial, 
x m ~ 1 dx(a + l# n ) % 



218 INTEGRAL CALCULUS. 

If we multiply by the two factors, x n and a?- B , tho 
value will not be changed, and we obtain, 

x m ~ n x n ~ 1 dx(a + bx n )p. 

Now, the factor x n ~ l dx{a + bx 1l )p is integrable, what- 
ever be the value of p (Art. 41). Denoting the first 
factor, x m ~ n by ^, and the second by cfo, w^e have, 

j / \ m n i 7 * (« + bx n )P + l 

du =z (m — n)x m ~ n - 1 dx 9 and v = —, e--r— ; 

{p + l)nfi ? 

and, consequently, /» , , . „ ■ 

^ J ' J x m ~ l dx(a + bx n )P = 

x m-n( a _}_ bx n )P +1 m — 71 p , , , , . ■ 

But, fx m - n - 1 dx(a + foc 71 )^- --= 

fx m - n - 1 dx(a + bx n )p(a + &s n ) =: 
a fx? n - n - l dx(a + bx n )p + b fx m ~ l dx(a + &c n )*; 

substituting this last value in the preceding equation, and 
collecting the terms containing, 

fx m - l dx(a + bx n )P, 
we have, (l + ^ ^ ^J f xm ^ lc H a + ^ n ) p - 

a m-» ( a _j_ fe n )^ + 1 — a(m — n) ix m - n - 1 dx{a + bx n )P 
(p + \)nb ' 



BINOMIAL DIFFERENTIALS. 219 

whence, 

(&u) fx m ~ l dx(a + ix n Y = 

x M ~ n (a + &c n ) ?+1 — a(m — n) fx m - n ~ l dx[a + bx n )P 
b{pn + m) 

This formula reduces the differential binomial, 
fx m - l dx(a + bx n )P, to /af*-"- 1 efo(a + to 1 )*; 
and by a similar operation, we should find, 

J x m - n ~ l dx(a+ bx n )P, to depend on, I x m - 2n - 1 dx(a + bx n )t; 

consequently, each operation diminishes the exponent of 
the variable without the parenthesis by the exponent of the 
variable within. 

After the second integration, the factor m — n, of the 
second term, becomes m — 2n; and after the third, 
m — 3n, &c. If m is a multiple of ?z, the factor m — n, 
m — 2n, m — 3w, &c, will finally become equal to 0, and 
then the differential into which it is multiplied will disap- 
pear, and the given differential can be integrated. Hence, 
a differential binomial can be integrated, when the ex- 
ponent of the variable without the parenthesis plus 1, is 
a multiple of the exponent within. 

APPLICATIONS. 

166. We have frequent occasion to integrate differential 
binomials of the form, 

x m dx _ , „ -i 

— = = x m dx(a 2 — x 2 ) 2 . 



\/a [ 



220 



INTEGRAL CALCULUS. 



The differential binomial x m - 1 dx(a + bx n )P will assume 
this form, if we substitute, 



for 


m, 


• 


m + 1; 


u 


a, 


• 


a 2 ; 


a 


& 2 , 


• • 


- i; 


C4 


n y 


• • 


• 2; 


CC 


P, 


# , 


i 

• 2 • 



Making these substitutions in Formula «&>, we have, 



/x m dx 
ya 2 — # 2 



£ m /~5 5 , a 2 (m — 1) p x m ~ 2 dx 

-y/a 2 — x 2 -\ * '- / — =z=; 

m v m J ~/tf~ a 2 



so that the given binomial differential depends on, 

/x m ~ 2 dx 
-y/a 2 — x 2 

and in a similar manner this is found to depend upon, 

x m -*dx 



/X' n ' ~ c 



X 6 



and so on, each operation diminishing the exponent of x by 
2. If m is an even number, the integral will depend, afte 

•— operations, on that of, 

f —M = «m-»- (Art. 99). 

■* yV- cc 2 ^ 



BINOMIAL DIFFERENTIALS. 221 

Formula 2S. 
For diminishing the exponent of the parenthesis. 

167. By changing the form of the given deferential 
binomial, we have, 

fx m - l dx(a + bx n )P = 

fx m ~ 1 dx(a + bx n Y~ l (a + bx n ) = 

afx m - l dx(a + bx n )P~ l + b fx m + n ~ l dx(a + boP)P-\ 

Applying Formula & to the second term, and observing 
that m is changed to m + n, and p to p — 1, we have, 

fx m+n - 1 dx{a + to 1 )?- 1 == 

af»(a + 5x n )? — am fx m - l dx{a + bx n )p~ l 
b(pn + m) 

Substituting this value in the last equation, we have, 

(23) fx m ~ 1 dx(a + bx n )P = 

of 1 (a + bx n )P + pna ix™- 1 dx(a + bx n )P~ l 



pn + m 



-l 

" 5 



in which the exponent of the parenthesis is diminished by 
1, for each operation. 



APPLICATIONS. 

1. Integrate the expression dx{a 2 + x 2 ) 2 . 

The differential binomial x m ~ l dx{a + bx n )p will assume 



222 INTEGRAL CALCULUS. 

this form, if we make m = 1, a = a 2 , 5 = 1, n = 2, 

and p — \. 

Substituting these values in the formula, we have, 

3 a(a 2 + x 2 Y + 3a 2 fdx(a 2 4- x 2 )% 
Jdx(a 2 + &f = ^ — 

Applying the formula a second time, we have, 

But we have found (Art. 9l), 

^ y a 2 + or 
hePCe ' /Wa 2 + tf )* = 

x(a 2 + x 2 f , o _ ( a 2 + x 2 f , 3a 4 7 / , ^- -v , „ 

2. Integrate the expression, dxi/r 2 — # 2 . 

The first member of the equation w^ill assume this form, 
if we make, m = 1, a = r 2 , 6 = — 1, n = 2, and 
jp = i. Substituting these values in the formula, we 
have, 

/ dx\ffi~— x 2 = -ot(r 2 — x 2 ) 2 + - r 2 f — g ■ , , ■■■ ; 

^ v 2 ^ ,T 2 J v^rr^ ' 

whence, by substitution (Art. 99), 



fthty/F'— x 2 = lx(f - x 2 V + l^ sin- 1 - + C. 

%J 2 2 T 



binomial differentials. 223 

Formula <® . 

For diminishing the exponent of the variable without the 
parenthesis, when it is negative. 

16§. It is evident that Formula ^ will only diminish 
m — 1, the exponent of the variable, when m is positive. 
We are now to determine a formula for diminishing this 
exponent when m is negative. 

From Formula ^, we deduce, 

J x m ~ n - l dx(a + bx n )P = 

x m "" n {a + bx n )P +1 — b(m + np) fx m ~ l dx(a + bx n )P 
a(m — n) ' 

changing m, to -— m + n, we have, 

(^) J x- m - l dx(a + bx n )P = 

x~ m {a + bx n )P + l + b(m — n — np) I x- m + n - l dx(a + bx n )P 



in which formula, it should be remembered that the nega- 
tive sign has been attributed to the exponent m. 

applications. 
1. Integrate the expression x~ 2 dx(2 — x 2 ) 2 • 

The first member of Equation ( <§ ) will assume this form, 
if we make m — 1, a = 2, b = — 1, n = 2, and 
p = — f . Substituting these values, we have, 



Jx-Mx{1 - a?)~ f = - g ~ 1(2 "^ 8 +/(2 - a*) 



1 

3 

2 cfe. 



224 INTEGRAL CALCULUS. 

The differential term in the second member will be in- 
tegrated by the next formula. 

Formula 32>. 

For diminishing the exponent of the parenthesis when it is 

negative. 

169. It is evident that Formula SS will only diminish 
jp, the exponent of the parenthesis, when p is positive. 
We are now to determine a formula for diminishing this 
exponent when p is negative. 

We find, from Formula JS, 

j x m ~ l dx(a+ bx n )P~ l = 

— x m (a + bx n Y + (m + np) fx m ~ 1 dx(a + bx n )i 
pna 

writing for p^ — p + 1, we have, 

(2>) Jx m - l dx(a + bx n )-Pz- 

x m (a + bx n )-P +1 — (m +n — np) Cx m ~ l dx(a + bx n )-? +l 

na(p — 1) 

When jp =. 1, p — 1=0; the second member be- 
comes infinite, and the given expression becomes a ra- 
tional fraction. 

APPLICATIONS. 

1. Integrate the expression, J dx(2 — x 2 )~ z . 



)p 

' 5 



BINOMIAL DIFFERENTIALS. 225 

The first member of Equation 2> will assume this form, 
if we make m = 1, a = 2, 8 = — 1, n = 2, and 

£> = — f . Substituting these values, we have, 

since the coefficient of the second term, in the formula, 
becomes zero. 

Returning, then, to the example under the last formula, 
\ve have, 

/.-<*<« - o-* = - s^fc^QL* + ?^L* a. a 

2. By means of Formula 3QB», we are able to integrate 
the expression, 

C=F^W = ^ + *>"'» 
when p is a whole number. 

The general formula will assume this form, if we make 
m = 1, cc = ^, a = a 2 , 5 = 1, n = 2. 

Each application of the formula will reduce the expo- 
nent — p, by 1, until the integral will finally depend on 
that of 

• 2 CZ , = -tan" 3 ? + (7 (Art. 99). 

« 2 + z 2 a a 

Formula 2$. 

When the variable enters into both terms of the binomial. 

1?0. Let it be required to integrate the expression, 

x$dx _ , .-i 

- xvax(2ax — - x 2 ) . 



V^2^ 



ax — ar 



226 INTEGKAL CALCULUS. 

The second member may be placed under the form, 

J x 2 dx(2a — x) . 
We apply Formula *&, by making, 

™ = 2 + 2> n = 1, p=—g, a = 2, J = - ] ; 

we shall then have, 

x 2 dx(2a — cc) * = 

If we observe that, 

# " = x ar, and a; = a; # , 

and pass the fractional powers of x within the parentheses, 
we shall have, 

(*j f—"** 



^/2ax — x 2 



xi" x y/ < lax ■— a; 2 ( (2q — l)a P x*- l dx 



\L q J ^/2ax — x 2 

Each application of this formula diminishes the expo- 
nent of the variable without the parenthesis by 1. If q 
is a positive and entire number, we shall have, after q 
reductions, 

f—T- — = ver-sin- 1 - + C (Art. 99). 

V 2ax — x 2 & 


















'.^-^V .0 





















































'oo ( 



















































^ *+*. 













